deletePath(): Succeed if path doesn't exist

Also makes it robust against concurrent deletions.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/libutil/util.hh b/src/libutil/util.hh
index 9eebb67fdf..3606f6ec9e 100644
--- a/src/libutil/util.hh
+++ b/src/libutil/util.hh
@@ -92,8 +92,8 @@ string readLine(int fd);
 void writeLine(int fd, string s);
 
 /* Delete a path; i.e., in the case of a directory, it is deleted
-   recursively.  Don't use this at home, kids.  The second variant
-   returns the number of bytes and blocks freed. */
+   recursively. It's not an error if the path does not exist. The
+   second variant returns the number of bytes and blocks freed. */
 void deletePath(const Path & path);
 
 void deletePath(const Path & path, unsigned long long & bytesFreed);