about summary refs log tree commit diff
path: root/doc/manual
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 /doc/manual
parent31e4aa64396858e3b6ef8477397c84cbd80670fc (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.xml17
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>