diff options
| author | jsmall-nvidia <jsmall@nvidia.com> | 2019-10-24 21:14:12 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-24 21:14:12 -0400 |
| commit | 3c57c86cdb2ae301441cf26a5bbe137e0b3bd512 (patch) | |
| tree | 5d54121b3ca83790be8e89efc5fcd3faa1cc0134 /source/slang/slang-options.cpp | |
| parent | 89ddb50eaccc1b7b590dbde55032721762711fb2 (diff) | |
* Functionality to dump repo if there is a failure throught the -dump-repro-on-failure option (#1095)
* Small typo fix
Diffstat (limited to 'source/slang/slang-options.cpp')
| -rw-r--r-- | source/slang/slang-options.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/source/slang/slang-options.cpp b/source/slang/slang-options.cpp index c76993ca4..e9a8e7e04 100644 --- a/source/slang/slang-options.cpp +++ b/source/slang/slang-options.cpp @@ -498,6 +498,10 @@ struct OptionsParser SLANG_RETURN_ON_FAIL(tryReadCommandLineArgument(sink, arg, &argCursor, argEnd, requestImpl->dumpRepro)); spEnableReproCapture(asExternal(requestImpl)); } + else if (argStr == "-dump-repro-on-error") + { + requestImpl->dumpReproOnError = true; + } else if (argStr == "-extract-repro") { String reproName; |
