diff options
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); |