diff options
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/executor.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index 1aea79898..6e3214925 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -407,6 +407,11 @@ int main(int argc, char** argv) if (argc == 2 && strcmp(argv[1], "test") == 0) return run_tests(); + if (argc < 2 || strcmp(argv[1], "exec") != 0) { + fprintf(stderr, "unknown command"); + return 1; + } + start_time_ms = current_time_ms(); os_init(argc, argv, (char*)SYZ_DATA_OFFSET, SYZ_NUM_PAGES * SYZ_PAGE_SIZE); |