diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-08T13·22+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-08T13·22+0000 |
| commit | 40274c1f4f763e634dd031f7a6b4ba8ce2de7a82 (patch) | |
| tree | 87f701e59cbe12fc86a9e67aa04ac1321533400c /src/util.hh | |
| parent | a279137327ad5762bb26a23ce8ed7863812254ae (diff) | |
* A command to query the paths referenced by an fstate expression.
* Use a temporary directory for build actions.
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. */ |