diff options
Diffstat (limited to 'src/nix.cc')
-rw-r--r-- | src/nix.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/nix.cc b/src/nix.cc index 4beeb5da8943..704442c313e4 100644 --- a/src/nix.cc +++ b/src/nix.cc @@ -372,6 +372,8 @@ void run(Strings args) pathArgs = true; else if (arg == "--verbose" || arg == "-v") verbosity = (Verbosity) ((int) verbosity + 1); + else if (arg == "--keep-failed" || arg == "-K") + keepFailed = true; else if (arg == "--help") printHelp(); else if (arg[0] == '-') |