about summary refs log tree commit diff
path: root/src/util.hh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-06-23T14·40+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-06-23T14·40+0000
commit692b562342ac7ead43ef06497f6a8b4b6e724ae5 (patch)
tree4cd87673fff6af4c6c5501b274bfc1023246aaba /src/util.hh
parentc0cbaef4bece0c2447828739dd9622c329948064 (diff)
* `nix --delete' command.
Diffstat (limited to 'src/util.hh')
-rw-r--r--src/util.hh5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/util.hh b/src/util.hh
index 45719e701ff6..7d5f00a2e880 100644
--- a/src/util.hh
+++ b/src/util.hh
@@ -54,6 +54,11 @@ string dirOf(string path);
 string baseNameOf(string path);
 
 
+/* Delete a path; i.e., in the case of a directory, it is deleted
+   recursively.  Don't use this at home, kids. */
+void deletePath(string path);
+
+
 void debug(string s);