diff options
author | Joe Watkins <krakjoe@php.net> | 2017-01-31 05:36:16 +0000 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2017-01-31 05:36:16 +0000 |
commit | 390134e6c5a3cf4e4e85c855b14a10185fd6a472 (patch) | |
tree | 656e4373da67f506e7211479f8585478524ced3e | |
parent | 6a8e7d54084610ba9494621e1b2448ce51595ace (diff) | |
parent | 543141ae3b77fdd6f580d11a436f664a6c93adb5 (diff) | |
download | php-git-390134e6c5a3cf4e4e85c855b14a10185fd6a472.tar.gz |
Merge branch 'PHP-7.0' into PHP-7.1
* PHP-7.0:
removed additional ";" from run-tests.php
-rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index d8d24cf548..77b95b25d3 100755 --- a/run-tests.php +++ b/run-tests.php @@ -570,7 +570,7 @@ if (isset($argc) && $argc > 1) { $ini_overwrites[] = $argv[++$i]; break; case 'g': - $SHOW_ONLY_GROUPS = explode(",", $argv[++$i]);; + $SHOW_ONLY_GROUPS = explode(",", $argv[++$i]); break; //case 'h' case '--keep-all': |