From 1274294897176563038aa527d7ac3be3a0619df3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=89tienne=20Michon?= Date: Wed, 4 Mar 2020 14:04:12 +0100 Subject: [PATCH] First try the PHP version from .config.platform.php --- bin/compile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/compile b/bin/compile index 95cdcf2b..d3607ba3 100755 --- a/bin/compile +++ b/bin/compile @@ -75,7 +75,7 @@ function detect_framework() { function best_php_version() { local require_php="" if [ -f "$BUILD_DIR/composer.json" ] ; then - for key in ".require.php" ".config.platform.php" ".extra.${composer_extra_key}.engines.php" ; do + for key in ".config.platform.php" ".require.php" ".extra.${composer_extra_key}.engines.php" ; do require_php=$(jq --raw-output "${key} // \"\"" < "$BUILD_DIR/composer.json") [ -n "${require_php}" ] && break done