about summary refs log tree commit diff
path: root/src/libmain
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-12-05T00·34+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-12-05T00·34+0000
commitd27a73b1a95a911077947f39fab42c628c722c0e (patch)
treecad870fa873b2d68869a71b54c22077558a3877c /src/libmain
parent74033a844fe57e3e91c71ae37f9a65f6b2f22aa9 (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.cc2
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");
 }