diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-06-23T14·40+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-06-23T14·40+0000 |
| commit | 692b562342ac7ead43ef06497f6a8b4b6e724ae5 (patch) | |
| tree | 4cd87673fff6af4c6c5501b274bfc1023246aaba /src/util.hh | |
| parent | c0cbaef4bece0c2447828739dd9622c329948064 (diff) | |
* `nix --delete' command.
Diffstat (limited to 'src/util.hh')
| -rw-r--r-- | src/util.hh | 5 |
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); |