diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-29T15·40+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-29T15·40+0000 |
commit | 547b119f25dea97ff06cf754f2720e11b50f079f (patch) | |
tree | 4b2dbe9423125291e48e79a7b681b674a997b80b /src/libmain | |
parent | 2132d9ddeba14ea2ddcbb16fa51ddb16c45c3c6a (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.cc | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index 2441cbf0139d..71be0dd5d0ef 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"); } |