diff options
author | Jan Niklas Hasse <jhasse@bixense.com> | 2020-01-04 13:21:10 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-04 13:21:10 (GMT) |
commit | 23a628f3c88a085cf3f98776f438cda9041e3209 (patch) | |
tree | 7d964c2272ff5de8b6044863ff851fcc857153bf /doc | |
parent | 1f02bc192a31ec2daac813c11d98dd939848d40f (diff) | |
parent | 66b746044d34c4791077488924f082b2fee7cb8a (diff) | |
download | Ninja-23a628f3c88a085cf3f98776f438cda9041e3209.zip Ninja-23a628f3c88a085cf3f98776f438cda9041e3209.tar.gz Ninja-23a628f3c88a085cf3f98776f438cda9041e3209.tar.bz2 |
Merge pull request #1685 from jhasse/restat
Add restat tool which recalculates all mtimes in the build log
Diffstat (limited to 'doc')
-rw-r--r-- | doc/manual.asciidoc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/manual.asciidoc b/doc/manual.asciidoc index e49d26d..8f42efb 100644 --- a/doc/manual.asciidoc +++ b/doc/manual.asciidoc @@ -283,6 +283,9 @@ target, show just the target's dependencies. _Available since Ninja 1.4._ `recompact`:: recompact the `.ninja_deps` file. _Available since Ninja 1.4._ +`restat`:: updates all recorded file modification timestamps in the `.ninja_log` +file. _Available since Ninja 1.10._ + `rules`:: output the list of all rules (eventually with their description if they have one). It can be used to know which rule name to pass to +ninja -t targets rule _name_+ or +ninja -t compdb+. |