diff options
author | Michael Orlitzky <mjo@gentoo.org> | 2016-12-04 22:38:20 -0500 |
---|---|---|
committer | Michael Orlitzky <mjo@gentoo.org> | 2016-12-04 22:38:20 -0500 |
commit | a5ce9048025fbdf21811b17eb6d7d4b9c26c0710 (patch) | |
tree | 2ee7dfb33347eb9e39109bcfb53d2bb5cf13521e /profiles/desc | |
parent | virtual/httpd-php: add version 7.1 (diff) | |
download | gentoo-a5ce9048025fbdf21811b17eb6d7d4b9c26c0710.tar.gz gentoo-a5ce9048025fbdf21811b17eb6d7d4b9c26c0710.tar.bz2 gentoo-a5ce9048025fbdf21811b17eb6d7d4b9c26c0710.zip |
profiles: add the php7-1 flag to desc/php_targets.desc.
Diffstat (limited to 'profiles/desc')
-rw-r--r-- | profiles/desc/php_targets.desc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/desc/php_targets.desc b/profiles/desc/php_targets.desc index 75d09ce2ed16..8cb336513b86 100644 --- a/profiles/desc/php_targets.desc +++ b/profiles/desc/php_targets.desc @@ -4,6 +4,7 @@ # This file contains descriptions of the PHP_TARGETS USE_EXPAND flags +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 |