aboutsummaryrefslogtreecommitdiff
path: root/src/libmain
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-08-29 15:40:49 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-08-29 15:40:49 +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 2441cbf01..71be0dd5d 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");
}