wok-6.x diff grub2/receipt @ rev 21505

mygestures: export commands inserted
author: Hans-G?nter Theisgen
date: Thu May 02 16:34:14 2019 +0100 (2019-05-02)
parents: 6a6ea56d432e
children: cc07895be981
     1.1 --- a/grub2/receipt	Sun Apr 30 10:15:50 2017 +0200
     1.2 +++ b/grub2/receipt	Thu May 02 16:34:14 2019 +0100
     1.3 @@ -18,6 +18,7 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 +	sed -i 's|fprintf(...) |&(void)|' grub-core/script/yylex.l
     1.8  	./configure --prefix=/usr --sysconfdir=/etc \
     1.9  	--mandir=/usr/share/man $CONFIGURE_ARGS &&
    1.10  	make $MAKEFLAGS &&