diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-07-24 14:15:09 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-07-24 14:15:09 +0200 |
commit | d3c35157e24079d539aa94f009c2332baea05c07 (patch) | |
tree | 687d12f17d9b96da69b41bf4cd34f5328351adbd | |
parent | 875c6e81e5ed52df46740083451380c4597b560c (diff) |
Issue diagnostics when we ignore ignorable changes
-rw-r--r-- | build2/cc/compile.cxx | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/build2/cc/compile.cxx b/build2/cc/compile.cxx index 6263120..48c8a83 100644 --- a/build2/cc/compile.cxx +++ b/build2/cc/compile.cxx @@ -3289,10 +3289,20 @@ namespace build2 }, md.mods.copied)); // See search_modules() for details. + const file& s (pr.second); + if (pr.first) { if (md.touch) + { + // Getting "everything up to date" after modifying a file can be + // unnerving. So calm the user down. + // + if (verb == 1) + text << "skip " << s; + touch (tp, false, 2); + } t.mtime (md.mt); return *pr.first; @@ -3302,8 +3312,6 @@ namespace build2 // touch (md.dd, false, verb_never); - const file& s (pr.second); - const scope& bs (t.base_scope ()); const scope& rs (*bs.root_scope ()); |