diff options
Diffstat (limited to 'scripts/run-tests.sh')
-rwxr-xr-x | scripts/run-tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/run-tests.sh b/scripts/run-tests.sh index 482163a12..ee6c90080 100755 --- a/scripts/run-tests.sh +++ b/scripts/run-tests.sh @@ -302,7 +302,7 @@ function simpletest_script_init($server_software) { function simpletest_script_execute_batch() { global $args; - if (is_null($args['test-id'])) { + if (!isset($args['test-id'])) { simpletest_script_print_error("--execute-batch should not be called interactively."); exit; } |