diff options
| author | Bertrand Jacquin <bertrand@jacquin.bzh> | 2020-02-28 22:52:27 +0000 |
|---|---|---|
| committer | Bertrand Jacquin <bertrand@jacquin.bzh> | 2020-02-28 22:52:27 +0000 |
| commit | e4d0e2c81e2c5b1f36c6d10fd9476b31c2c92e33 (patch) | |
| tree | 9b096995affd576c154f2c76b9fe249bf09d2be3 /profiles/server | |
| parent | profiles/desktop: bump keyword for net-misc/econnman (diff) | |
| download | portage-e4d0e2c81e2c5b1f36c6d10fd9476b31c2c92e33.tar.xz | |
profiles/server: Bump PHP_TARGETS
Diffstat (limited to 'profiles/server')
| -rw-r--r-- | profiles/server/make.defaults | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/profiles/server/make.defaults b/profiles/server/make.defaults index 69a83fe4..7d56cfec 100644 --- a/profiles/server/make.defaults +++ b/profiles/server/make.defaults @@ -772,9 +772,10 @@ USE="${USE} -php_targets_php7-0 -php_targets_php7-1 -php_targets_php7-2 - -php_targets_php7-3" + -php_targets_php7-3 + -php_targets_php7-4" USE="${USE} - php_targets_php7-3" + php_targets_php7-4" # 25/08/2019 - beber # Setting GRUB_PLATFORMS is non functional, need to expand manually |