wok diff rpm4/receipt @ rev 22404

updated grub2 packages (2.02 -> 2.04)
author: Hans-G?nter Theisgen
date: Mon Dec 09 16:05:14 2019 +0100 (2019-12-09)
parents: 6fab3264ba87
children: 27198696acb7
     1.1 --- a/rpm4/receipt	Fri Dec 25 15:23:46 2015 +0200
     1.2 +++ b/rpm4/receipt	Mon Dec 09 16:05:14 2019 +0100
     1.3 @@ -29,6 +29,7 @@
     1.4  		--with-dmalloc=no \
     1.5  		--with-efence=no \
     1.6  		--with-external-db \
     1.7 +		--localstatedir=/var \
     1.8  		--mandir=/usr/share/man $CONFIGURE_ARGS &&
     1.9  	make $MAKEFLAGS &&
    1.10  	make DESTDIR=$DESTDIR install