diff options
| -rw-r--r-- | src/libstore/local-store.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/libstore/local-store.cc b/src/libstore/local-store.cc index 251449089796..7fa278a91e12 100644 --- a/src/libstore/local-store.cc +++ b/src/libstore/local-store.cc @@ -1614,8 +1614,10 @@ bool LocalStore::verifyStore(bool checkContents, bool repair) } catch (Error & e) { /* It's possible that the path got GC'ed, so ignore errors on invalid paths. */ - if (isValidPath(*i)) throw; - printMsg(lvlError, format("warning: %1%") % e.msg()); + if (isValidPath(*i)) + printMsg(lvlError, format("error: %1%") % e.msg()); + else + printMsg(lvlError, format("warning: %1%") % e.msg()); errors = true; } } |