projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d44f076
)
profiles/desc: Remove unused PHP_TARGETS
author
Michał Górny
<mgorny@gentoo.org>
Wed, 28 Nov 2018 09:54:48 +0000
(10:54 +0100)
committer
Michał Górny
<mgorny@gentoo.org>
Wed, 28 Nov 2018 09:56:12 +0000
(10:56 +0100)
Signed-off-by: Michał Górny <mgorny@gentoo.org>
profiles/desc/php_targets.desc
patch
|
blob
|
history
diff --git
a/profiles/desc/php_targets.desc
b/profiles/desc/php_targets.desc
index 62c199c76a10e517cf4afb78f95ac95242eee078..2dbef91014c1823a7fb4620265ea0068d9238c85 100644
(file)
--- a/
profiles/desc/php_targets.desc
+++ b/
profiles/desc/php_targets.desc
@@
-8,5
+8,3
@@
php7-2 - Build against PHP 7.2
php7-1 - Build against PHP 7.1
php7-0 - Build against PHP 7.0
php5-6 - Build against PHP 5.6
-php5-5 - Build against PHP 5.5
-php5-4 - Build against PHP 5.4