* Repair the referers table from the references table.
This commit is contained in:
parent
92d599c6a7
commit
f0856fd905
1 changed files with 3 additions and 0 deletions
|
@ -844,6 +844,9 @@ void verifyStore(bool checkContents)
|
|||
if (referers.find(*i) == referers.end()) {
|
||||
printMsg(lvlError, format("missing referer mapping from `%1%' to `%2%'")
|
||||
% *j % *i);
|
||||
referers.insert(*i);
|
||||
nixDB.setStrings(txn, dbReferers, *j,
|
||||
Paths(referers.begin(), referers.end()));
|
||||
}
|
||||
if (isValid && validPaths.find(*j) == validPaths.end()) {
|
||||
printMsg(lvlError, format("incomplete closure: `%1%' needs missing `%2%'")
|
||||
|
|
Loading…
Reference in a new issue