diff options
Diffstat (limited to 'tools/slang-test/options.cpp')
| -rw-r--r-- | tools/slang-test/options.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/slang-test/options.cpp b/tools/slang-test/options.cpp index 27b759a0e..fa7f332b0 100644 --- a/tools/slang-test/options.cpp +++ b/tools/slang-test/options.cpp @@ -266,6 +266,10 @@ static bool _isSubCommand(const char* arg) return res; } } + else if (strcmp(arg, "-skip-api-detection") == 0) + { + optionsOut->skipApiDetection = true; + } else { stdError.print("unknown option '%s'\n", arg); |
