diff options
Diffstat (limited to 'src/util.hh')
| -rw-r--r-- | src/util.hh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/util.hh b/src/util.hh index 2863085c16..d0e42f3b17 100644 --- a/src/util.hh +++ b/src/util.hh @@ -67,7 +67,10 @@ bool pathExists(const 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 deletePath(const string & path); + +/* Make a path read-only recursively. */ +void makePathReadOnly(const string & path); /* Messages. */ |