PHP-Parser/test_old/run-php-src.sh

wget -q https://github.com/php/php-src/archive/php-7.1.0.tar.gz
mkdir -p ./data/php-src
tar -xzf ./php-7.1.0.tar.gz -C ./data/php-src --strip-components=1
php -n test_old/run.php --verbose --no-progress PHP7 ./data/php-src
Update run-php-src to use 7.1.0 2016-12-11 16:47:47 +01:00			`wget -q https://github.com/php/php-src/archive/php-7.1.0.tar.gz`
Run test_old against php-src on travis 2016-04-07 06:37:47 +02:00			`mkdir -p ./data/php-src`
Update run-php-src to use 7.1.0 2016-12-11 16:47:47 +01:00			`tar -xzf ./php-7.1.0.tar.gz -C ./data/php-src --strip-components=1`
Run test_old using php -n Xdebug is killing performance. 2016-04-07 07:51:49 +02:00			`php -n test_old/run.php --verbose --no-progress PHP7 ./data/php-src`