Gentoo Archives: gentoo-commits

From: Thomas Deutschmann <whissi@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/base/
Date: Thu, 03 Sep 2020 17:00:28
Message-Id: 1599152417.76f1e59caff340749d07e360035e56ad25dd31d2.whissi@gentoo
1 commit: 76f1e59caff340749d07e360035e56ad25dd31d2
2 Author: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
3 AuthorDate: Thu Sep 3 16:13:07 2020 +0000
4 Commit: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
5 CommitDate: Thu Sep 3 17:00:17 2020 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=76f1e59c
7
8 profiles: Add php7-4 target by default
9
10 Signed-off-by: Thomas Deutschmann <whissi <AT> gentoo.org>
11
12 profiles/base/make.defaults | 2 +-
13 1 file changed, 1 insertion(+), 1 deletion(-)
14
15 diff --git a/profiles/base/make.defaults b/profiles/base/make.defaults
16 index ebcbbe0ad38..5b8552b7c2d 100644
17 --- a/profiles/base/make.defaults
18 +++ b/profiles/base/make.defaults
19 @@ -166,7 +166,7 @@ POSTGRES_TARGETS="postgres10 postgres11"
20 # Moreover, it should only contain targets that have a stable version
21 # of PHP, to avoid pulling in an unstable PHP on stable systems.
22 #
23 -PHP_TARGETS="php7-2 php7-3"
24 +PHP_TARGETS="php7-2 php7-3 php7-4"
25
26 # Alfredo Tupone <tupone@g.o> (2019-09-03)
27 #