ports/opt (3.0): php: remove extensions.ini from source array
25 Feb
2013
25 Feb
'13
6:35 p.m.
commit 351f9fa077b84ab221c66e39e36c59a8c07b714f Author: Juergen Daubert <jue@jue.li> Date: Mon Feb 25 19:35:33 2013 +0100 php: remove extensions.ini from source array diff --git a/php/.md5sum b/php/.md5sum index 0c63e85..25e27e0 100644 --- a/php/.md5sum +++ b/php/.md5sum @@ -1,2 +1 @@ -65690a2a454c5f5d934cb04b070219ea extensions.ini 5c7b614242ae12e9cacca21c8ab84818 php-5.4.12.tar.bz2 diff --git a/php/Pkgfile b/php/Pkgfile index 9e82a6d..a134207 100644 --- a/php/Pkgfile +++ b/php/Pkgfile @@ -6,8 +6,7 @@ name=php version=5.4.12 release=1 -source=(http://www.php.net/distributions/php-$version.tar.bz2 - extensions.ini) +source=(http://www.php.net/distributions/php-$version.tar.bz2) build () { cd php-$version
4342
Age (days ago)
4342
Last active (days ago)
0 comments
1 participants
participants (1)
-
crux@crux.nu