diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-19T09·04+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-19T09·04+0000 |
| commit | 2de850479101e5a378c87d1392ea03c63ce224cf (patch) | |
| tree | 4a7782e4ec3439cc73311d68e272546c486f9116 /src/nix-help.txt | |
| parent | 31e4aa64396858e3b6ef8477397c84cbd80670fc (diff) | |
* Delete the temporary directories of failed builds by default, and an
option `--keep-failed' to override this behaviour.
Diffstat (limited to 'src/nix-help.txt')
| -rw-r--r-- | src/nix-help.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/nix-help.txt b/src/nix-help.txt index 0e54d162de05..4e1d707c8926 100644 --- a/src/nix-help.txt +++ b/src/nix-help.txt @@ -34,3 +34,4 @@ Query flags: Options: --verbose / -v: verbose operation (may be repeated) + --keep-failed / -K: keep temporary directories of failed builds |