wok-current diff geoip/receipt @ rev 20437

php-common: fix extension_dir in /etc/php.ini (thanks anggit)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sun Sep 09 10:36:45 2018 +0200 (2018-09-09)
parents dc0ce6d01be6
children af8d823a3077
line diff
     1.1 --- a/geoip/receipt	Sun Dec 08 09:33:56 2013 +0000
     1.2 +++ b/geoip/receipt	Sun Sep 09 10:36:45 2018 +0200
     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