diff --git a/tools-init.sh b/tools-init.sh index 6b842c0e7..9372a60a1 100644 --- a/tools-init.sh +++ b/tools-init.sh @@ -20,10 +20,13 @@ fi # Fetch the latest release tag of vip-go-ci - -#export VIP_GO_CI_VER=`~/vip-go-ci-tools/vip-go-ci/latest-release.php` export VIP_GO_CI_VER="" +if [ -f ~/vip-go-ci-tools/vip-go-ci/latest-release.php ] || + [ -x ~/vip-go-ci-tools/vip-go-ci/latest-release.php ] ; then + export VIP_GO_CI_VER=`php ~/vip-go-ci-tools/vip-go-ci/latest-release.php` +fi + if [ "$VIP_GO_CI_VER" == "" ] ; then # latest-release.php is not available, fetch it # and then fetch the latest release number of vip-go-ci