ports/opt (2.3): mod_php: added -j1 make option
25 Sep
2007
25 Sep
'07
8:12 a.m.
commit a36912d1a52ce10e8c9fc1d1b27de84bda41fbb0 Author: Juergen Daubert <jue@jue.li> Date: Tue Sep 25 10:12:09 2007 +0200 mod_php: added -j1 make option diff --git a/mod_php/Pkgfile b/mod_php/Pkgfile index 92827f4..f57d6f8 100644 --- a/mod_php/Pkgfile +++ b/mod_php/Pkgfile @@ -21,7 +21,7 @@ build () { --without-pear \ --disable-pdo make - make INSTALL_ROOT=$PKG install + make -j1 INSTALL_ROOT=$PKG install rm -r $PKG/etc/apache sed -i "/^extension_dir/s|\./|/usr/lib/php/extensions|" php.ini-dist install -D -m 644 php.ini-dist $PKG/etc/php.ini
6322
Age (days ago)
6322
Last active (days ago)
0 comments
1 participants
participants (1)
-
crux@crux.nu