Gentoo Archives: gentoo-commits

From: Michael Orlitzky <mjo@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/desc/
Date: Mon, 05 Dec 2016 03:41:08
Message-Id: 1480909100.a5ce9048025fbdf21811b17eb6d7d4b9c26c0710.mjo@gentoo
1 commit: a5ce9048025fbdf21811b17eb6d7d4b9c26c0710
2 Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
3 AuthorDate: Mon Dec 5 03:38:20 2016 +0000
4 Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
5 CommitDate: Mon Dec 5 03:38:20 2016 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a5ce9048
7
8 profiles: add the php7-1 flag to desc/php_targets.desc.
9
10 profiles/desc/php_targets.desc | 1 +
11 1 file changed, 1 insertion(+)
12
13 diff --git a/profiles/desc/php_targets.desc b/profiles/desc/php_targets.desc
14 index 75d09ce..8cb3365 100644
15 --- a/profiles/desc/php_targets.desc
16 +++ b/profiles/desc/php_targets.desc
17 @@ -4,6 +4,7 @@
18
19 # This file contains descriptions of the PHP_TARGETS USE_EXPAND flags
20
21 +php7-1 - Build against PHP 7.1
22 php7-0 - Build against PHP 7.0
23 php5-6 - Build against PHP 5.6
24 php5-5 - Build against PHP 5.5