about summary refs log tree commit diff
path: root/src/libmain
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-08-29T15·40+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-08-29T15·40+0000
commit547b119f25dea97ff06cf754f2720e11b50f079f (patch)
tree4b2dbe9423125291e48e79a7b681b674a997b80b /src/libmain
parent2132d9ddeba14ea2ddcbb16fa51ddb16c45c3c6a (diff)
* Support singleton values and nested lists again in `args', but print
  a warning.

Diffstat (limited to 'src/libmain')
-rw-r--r--src/libmain/shared.cc11
1 files changed, 4 insertions, 7 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc
index 2441cbf013..71be0dd5d0 100644
--- a/src/libmain/shared.cc
+++ b/src/libmain/shared.cc
@@ -44,13 +44,10 @@ Path makeRootName(const Path & gcRoot, int & counter)
 
 void printGCWarning()
 {
-    static bool warned = false;
-    if (!warned) {
-        printMsg(lvlInfo,
-            "warning: you did not specify `--add-root'; "
-            "the result might be removed by the garbage collector");
-        warned = true;
-    }
+    static bool haveWarned = false;
+    warnOnce(haveWarned, 
+        "warning: you did not specify `--add-root'; "
+        "the result might be removed by the garbage collector");
 }