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 /doc/manual | |
| parent | 31e4aa64396858e3b6ef8477397c84cbd80670fc (diff) | |
* Delete the temporary directories of failed builds by default, and an
option `--keep-failed' to override this behaviour.
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/nix-reference.xml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/doc/manual/nix-reference.xml b/doc/manual/nix-reference.xml index 75009b1d04bc..d9c78ff07344 100644 --- a/doc/manual/nix-reference.xml +++ b/doc/manual/nix-reference.xml @@ -15,6 +15,10 @@ <arg><option>--verbose</option></arg> <arg><option>-v</option></arg> </group> + <group choice='opt' rep='repeat'> + <arg><option>--keep-failed</option></arg> + <arg><option>-K</option></arg> + </group> <arg choice='plain'><replaceable>operation</replaceable></arg> <arg rep='repeat'><replaceable>options</replaceable></arg> <arg rep='repeat'><replaceable>arguments</replaceable></arg> @@ -121,6 +125,19 @@ </listitem> </varlistentry> + + <varlistentry> + <term><option>--keep-failed</option></term> + <listitem> + <para> + Specifies that in case of a build failure, the temporary directory + (usually in <filename>/tmp</filename>) in which the build takes + place should not be deleted. The path of the build directory is + printed as an informational message. + </para> + </listitem> + </varlistentry> + </variablelist> </refsect1> |