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

wget -q https://github.com/php/php-src/archive/php-7.2.10.tar.gz
mkdir -p ./data/php-src
tar -xzf ./php-7.2.10.tar.gz -C ./data/php-src --strip-components=1
php -n test_old/run.php --verbose --no-progress PHP7 ./data/php-src
Test against more recent php-src tarball 2018-09-21 11:40:36 +02:00			`wget -q https://github.com/php/php-src/archive/php-7.2.10.tar.gz`
Run test_old against php-src on travis 2016-04-07 06:37:47 +02:00			`mkdir -p ./data/php-src`
Test against more recent php-src tarball 2018-09-21 11:40:36 +02:00			`tar -xzf ./php-7.2.10.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`