wok diff grub2/receipt @ rev 21694

updated portaudio and portaudio-dev (v19_20110326 -> 190600_20161030)
author: Hans-G?nter Theisgen
date: Wed Jun 05 16:15:15 2019 +0100 (2019-06-05)
parents: 6a6ea56d432e
children: cc07895be981
     1.1 --- a/grub2/receipt	Sun Apr 30 10:15:50 2017 +0200
     1.2 +++ b/grub2/receipt	Wed Jun 05 16:15:15 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 &&