wok-current diff gtk-recordmydesktop/receipt @ rev 22540

updated bison (2.6.5 -> 3.5)
author: Hans-G?nter Theisgen
date: Fri Jan 03 16:33:16 2020 +0100 (2020-01-03)
parents: 380ffe05937a
children: 932cd974e081
     1.1 --- a/gtk-recordmydesktop/receipt	Sat Aug 10 17:00:38 2013 +0000
     1.2 +++ b/gtk-recordmydesktop/receipt	Fri Jan 03 16:33:16 2020 +0100
     1.3 @@ -17,7 +17,6 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 -	cd $src
     1.8  	./configure \
     1.9  		$CONFIGURE_ARGS &&
    1.10  	make && make install
    1.11 @@ -31,4 +30,3 @@
    1.12  	cp -a $install/usr/lib $fs/usr
    1.13  	cp -a $install/usr/share $fs/usr
    1.14  }
    1.15 -