Answer the review of the tools

repo_info starts Git in the checkout with fixed commands, so a shell never
reads a path, reports an unknown state as null rather than clean, and
counts only files it can start. third_party reads every archive before
it changes a file and refuses two modes. version checks that the sources
make a distribution, computes every place before writing any, and
release_notes finds a three-number heading for a version with D = 0.

1 files changed, 11 insertions, 4 deletions

diff --git a/tools/VersionMain.cpp b/tools/VersionMain.cpp
index a7fb123a..6f1c13cb 100644
--- a/tools/VersionMain.cpp
+++ b/tools/VersionMain.cpp
@@ -54,12 +54,19 @@ main(int argc, char **argv)
     }
     const auto version
         = FormatVersion(argument == "--next" ? NextVersion(*parsed) : *parsed);
-    SetVersion(*root, version, problems);
+    // The sources have to make a distribution before anything is changed.
+    (void)GenerateAmalgamation(*root, problems);
     if (problems.empty())
     {
-        WriteAmalgamation(*root,
-                          GenerateAmalgamation(*root, problems),
-                          problems);
+        SetVersion(*root, version, problems);
+    }
+    if (problems.empty())
+    {
+        const auto amalgamation = GenerateAmalgamation(*root, problems);
+        if (problems.empty())
+        {
+            WriteAmalgamation(*root, amalgamation, problems);
+        }
     }
     if (problems.empty())
     {