diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-05T00·34+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-05T00·34+0000 |
commit | d27a73b1a95a911077947f39fab42c628c722c0e (patch) | |
tree | cad870fa873b2d68869a71b54c22077558a3877c /src/libmain | |
parent | 74033a844fe57e3e91c71ae37f9a65f6b2f22aa9 (diff) |
* In addPermRoot, check that the root that we just registered can be
found by the garbage collector. This addresses NIX-71 and is a particular concern in multi-user stores.
Diffstat (limited to 'src/libmain')
-rw-r--r-- | src/libmain/shared.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index e6713e9abff0..c1bd1b73a7fd 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -47,7 +47,7 @@ void printGCWarning() { static bool haveWarned = false; warnOnce(haveWarned, - "warning: you did not specify `--add-root'; " + "you did not specify `--add-root'; " "the result might be removed by the garbage collector"); } |