Set cache_file to "<none>" if --no-cache is used.

This commit is contained in:
John Wiegley 2005-01-14 23:44:08 +00:00
parent 3a8729420e
commit 79f9a1efb5

View file

@ -586,7 +586,7 @@ OPT_BEGIN(cache, ":") {
} OPT_END(cache);
OPT_BEGIN(no_cache, "") {
config.cache_file = "";
config.cache_file = "<none>";
} OPT_END(no_cache);
OPT_BEGIN(output, "o:") {