diff options
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index 7de8cf8001..4f29345d9f 100755 --- a/run-tests.php +++ b/run-tests.php @@ -594,6 +594,9 @@ if (isset($argc) && $argc > 1) { } $pass_option_n = true; break; + case 'e': + $pass_options .= ' -e'; + break; case '--no-clean': $no_clean = true; break; |