wok diff geoip/receipt @ rev 22756

updated ffmpeg, ffmpeg-dev and ffplay (4.1.3 -> 4.2.2)
author: Hans-G?nter Theisgen
date: Fri Jan 24 16:20:17 2020 +0100 (2020-01-24)
parents: dc0ce6d01be6
children: af8d823a3077
     1.1 --- a/geoip/receipt	Sun Dec 08 09:33:56 2013 +0000
     1.2 +++ b/geoip/receipt	Fri Jan 24 16:20:17 2020 +0100
     1.3 @@ -17,14 +17,14 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 -	cd $src
     1.8  	autoreconf -i
     1.9  	./configure \
    1.10  		--prefix=/usr \
    1.11  		--infodir=/usr/share/info \
    1.12  		--mandir=/usr/share/man \
    1.13  		--sysconfdir=/etc/geoip \
    1.14 -		$CONFIGURE_ARGS &&
    1.15 +		$CONFIGURE_ARGS 2>&1 | \
    1.16 +		sed 's|missing: No such|missing: no such|'
    1.17  	make && make DESTDIR=$DESTDIR install
    1.18  }
    1.19