diff options
Diffstat (limited to 'executor/executor.cc')
| -rw-r--r-- | executor/executor.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index 6d39b4230..2c73c20dd 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -447,8 +447,8 @@ int main(int argc, char** argv) #endif return 0; } - if (argc == 2 && strcmp(argv[1], "test") == 0) - return run_tests(); + if (argc >= 2 && strcmp(argv[1], "test") == 0) + return run_tests(argc == 3 ? argv[2] : nullptr); if (argc < 2 || strcmp(argv[1], "exec") != 0) { fprintf(stderr, "unknown command"); |