1 files changed, 12 insertions, 0 deletions
diff --git a/run_project_tests.py b/run_project_tests.py
index cc8e333..8cbf989 100755
--- a/run_project_tests.py
+++ b/run_project_tests.py
@@ -1113,11 +1113,23 @@ def detect_system_compiler(options):
 def print_tool_versions():
     tools = [
         {
+            'tool': 'ninja',
+            'args': ['--version'],
+            'regex': re.compile(r'^([0-9]+(\.[0-9]+)*(-[a-z0-9]+)?)$'),
+            'match_group': 1,
+        },
+        {
             'tool': 'cmake',
             'args': ['--version'],
             'regex': re.compile(r'^cmake version ([0-9]+(\.[0-9]+)*(-[a-z0-9]+)?)$'),
             'match_group': 1,
         },
+        {
+            'tool': 'hotdoc',
+            'args': ['--version'],
+            'regex': re.compile(r'^([0-9]+(\.[0-9]+)*(-[a-z0-9]+)?)$'),
+            'match_group': 1,
+        },
     ]
 
     def get_version(t: dict) -> str: