wok diff grub2/receipt @ rev 21573

updated arpack-ng and arpack-ng-dev (3.1.5 -> 3.7.0)
author: Hans-G?nter Theisgen
date: Sun May 19 07:39:55 2019 +0100 (2019-05-19)
parents: 6a6ea56d432e
children: cc07895be981
     1.1 --- a/grub2/receipt	Sun Apr 30 10:15:50 2017 +0200
     1.2 +++ b/grub2/receipt	Sun May 19 07:39:55 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 &&