diff options
Diffstat (limited to 'src/ninja.cc')
| -rw-r--r-- | src/ninja.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ninja.cc b/src/ninja.cc index 21dede6..a73f83c 100644 --- a/src/ninja.cc +++ b/src/ninja.cc @@ -1135,6 +1135,10 @@ int real_main(int argc, char** argv) { // Attempt to rebuild the manifest before building anything else if (ninja.RebuildManifest(options.input_file, &err)) { + // In dry_run mode the regeneration will succeed without changing the + // manifest forever. Better to return immediately. + if (config.dry_run) + return 0; // Start the build over with the new manifest. continue; } else if (!err.empty()) { |