diff options
Diffstat (limited to 'src/util.hh')
| -rw-r--r-- | src/util.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/util.hh b/src/util.hh index a8f801b30c..684bafbb55 100644 --- a/src/util.hh +++ b/src/util.hh @@ -60,6 +60,8 @@ string dirOf(string path); the final `/'. */ string baseNameOf(string path); +/* Return true iff the given path exists. */ +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. */ |