From 45c574e0d797fa8d57dd86b22c19a5986a899b45 Mon Sep 17 00:00:00 2001 From: ulvii Date: Wed, 12 Jul 2017 18:05:03 -0700 Subject: [PATCH] Adding a check for php version --- test/Performance/setup_env_unix.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/Performance/setup_env_unix.sh b/test/Performance/setup_env_unix.sh index f5f9c00b..76e50297 100644 --- a/test/Performance/setup_env_unix.sh +++ b/test/Performance/setup_env_unix.sh @@ -6,7 +6,7 @@ else echo "First argument must be one of Ubuntu16, RedHat7, Sierra. Exiting..." exit 1 fi -if [[ "$2" = "" ]]; then +if [[ "$2" != 7.*.* ]]; then echo "Second argument must be PHP version in format of 7.x.x.Exiting..." exit else