diff options
| -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 ()); |