From e4d0e2c81e2c5b1f36c6d10fd9476b31c2c92e33 Mon Sep 17 00:00:00 2001
From: Bertrand Jacquin <bertrand@jacquin.bzh>
Date: Fri, 28 Feb 2020 22:52:27 +0000
Subject: profiles/server: Bump PHP_TARGETS

---
 profiles/server/make.defaults | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'profiles')

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
-- 
cgit v1.2.3