diff --git a/plugins/php/versions/74/install.sh b/plugins/php/versions/74/install.sh index 9e93d2370..18a555a41 100755 --- a/plugins/php/versions/74/install.sh +++ b/plugins/php/versions/74/install.sh @@ -39,7 +39,11 @@ if [ ! -d $sourcePath/php/php${PHP_VER} ];then mv $sourcePath/php/php-${version} $sourcePath/php/php${PHP_VER} fi - +if [ ! -d $sourcePath/php/php${PHP_VER} ];then + rm -rf $sourcePath/php/php-${version}.tar.xz + echo "reinstall php${version}" + exit 1 +fi cd $sourcePath/php/php${PHP_VER}