* In the garbage collector, if deleting a path fails, try to fix its

  ownership, then try again.

1 files changed, 9 insertions, 0 deletions

diff --git a/src/libstore/local-store.hh b/src/libstore/local-store.hh
index 58bb70d0e4d5..6e2350abef7e 100644
--- a/src/libstore/local-store.hh
+++ b/src/libstore/local-store.hh
@@ -139,6 +139,15 @@ void deleteFromStore(const Path & path, unsigned long long & bytesFreed);
 
 void verifyStore(bool checkContents);
 
+/* Whether we are in build users mode. */
+bool haveBuildUsers();
+
+/* Whether we are root. */
+bool amPrivileged();
+
+/* Recursively change the ownership of `path' to the current uid. */
+void getOwnership(const Path & path);
+
  
 }