diff options
author | Rodrigo Prado <royopa@gmail.com> | 2017-01-30 20:06:09 -0200 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2017-01-31 05:35:58 +0000 |
commit | 543141ae3b77fdd6f580d11a436f664a6c93adb5 (patch) | |
tree | 4ce8797bfd41c7e298c06ee490b9931d29d621bc | |
parent | f39cabe610f61f5e1024e1eab1414458cafebe68 (diff) | |
download | php-git-543141ae3b77fdd6f580d11a436f664a6c93adb5.tar.gz |
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 f023d505dc..fd34934389 100755 --- a/run-tests.php +++ b/run-tests.php @@ -602,7 +602,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': |