diff options
Diffstat (limited to 'src/libstore/local-store.hh')
| -rw-r--r-- | src/libstore/local-store.hh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/libstore/local-store.hh b/src/libstore/local-store.hh index 8899873a72c6..80db10de10d0 100644 --- a/src/libstore/local-store.hh +++ b/src/libstore/local-store.hh @@ -197,6 +197,10 @@ public: void vacuumDB(); + /* Repair the contents of the given path by redownloading it using + a substituter (if available). */ + void repairPath(const Path & path); + private: Path schemaPath; |