about summary refs log tree commit diff
path: root/src/util.hh
diff options
context:
space:
mode:
Diffstat (limited to 'src/util.hh')
-rw-r--r--src/util.hh2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/util.hh b/src/util.hh
index a8f801b30c5d..684bafbb55d6 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. */