diff options
Diffstat (limited to 'src/libmain')
| -rw-r--r-- | src/libmain/shared.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index 13ad4fedea19..6aad03a37a98 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -139,6 +139,8 @@ static void initAndRun(int argc, char * * argv) keepFailed = true; else if (arg == "--keep-going" || arg == "-k") keepGoing = true; + else if (arg == "--fallback") + tryFallback = true; else if (arg == "--max-jobs" || arg == "-j") { ++i; if (i == args.end()) throw UsageError("`--max-jobs' requires an argument"); |