diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-11-28 11:11:10 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-11-28 11:11:10 +0200 |
| commit | 8901004f9e783fb3a30e2ddb1e69e8f8a7d085f5 (patch) | |
| tree | 11d4b80a099d1dcea5404ec45c52201d9ec23b38 /build2/cc/link-rule.cxx | |
| parent | 9190569b69e34468841b18b33c98f78e66a3d26e (diff) | |
Add --[no-]mtime-check options to control this behavior at runtime
By default the checks are enabled only for the staged toolchain.
Diffstat (limited to 'build2/cc/link-rule.cxx')
| -rw-r--r-- | build2/cc/link-rule.cxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build2/cc/link-rule.cxx b/build2/cc/link-rule.cxx index 47c058d..ca51700 100644 --- a/build2/cc/link-rule.cxx +++ b/build2/cc/link-rule.cxx @@ -2554,7 +2554,7 @@ namespace build2 } rm.cancel (); - dd.verify (tp); + dd.check_mtime (tp); // Should we go to the filesystem and get the new mtime? We know the // file has been modified, so instead just use the current clock time. |