about summary refs log tree commit diff
path: root/src/nix.cc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-08-19T09·04+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-08-19T09·04+0000
commit2de850479101e5a378c87d1392ea03c63ce224cf (patch)
tree4a7782e4ec3439cc73311d68e272546c486f9116 /src/nix.cc
parent31e4aa64396858e3b6ef8477397c84cbd80670fc (diff)
* Delete the temporary directories of failed builds by default, and an
  option `--keep-failed' to override this behaviour.

Diffstat (limited to 'src/nix.cc')
-rw-r--r--src/nix.cc2
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] == '-')