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