diff --git a/plugins/php/versions/52/install.sh b/plugins/php/versions/52/install.sh index cca6de044..c130e43e9 100755 --- a/plugins/php/versions/52/install.sh +++ b/plugins/php/versions/52/install.sh @@ -36,19 +36,19 @@ else fi -if [ "$OSNAME" == 'ubuntu' ] || [ "$OSNAME" == 'debian' ] ;then - apt install bison=2.4.1 - if [ "$?" != "0" ]; then - echo 'The system version is too high to install' - exit 1 - fi - - apt install flex=2.5.4 - if [ "$?" != "0" ]; then - echo 'The system version is too high to install' - exit 1 - fi -fi +# if [ "$OSNAME" == 'ubuntu' ] || [ "$OSNAME" == 'debian' ] ;then +# apt install bison=2.4.1 +# if [ "$?" != "0" ]; then +# echo 'The system version is too high to install' +# exit 1 +# fi + +# apt install flex=2.5.4 +# if [ "$?" != "0" ]; then +# echo 'The system version is too high to install' +# exit 1 +# fi +# fi version=5.2.17