diff options
Diffstat (limited to 'src/libmain')
| -rw-r--r-- | src/libmain/shared.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index 9c62e320f66e..e1280911b399 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -191,7 +191,7 @@ static void initAndRun(int argc, char * * argv) else if (arg == "--keep-going" || arg == "-k") settings.keepGoing = true; else if (arg == "--fallback") - settings.tryFallback = true; + settings.set("build-fallback", "true"); else if (arg == "--max-jobs" || arg == "-j") settings.set("build-max-jobs", getArg(arg, i, args.end())); else if (arg == "--cores") |