From a57d08dd077386421cfae99bfb012e33b7c9ea6a Mon Sep 17 00:00:00 2001
From: Luke Street <luke@street.dev>
Date: Sun, 11 Aug 2024 18:07:07 -0600
Subject: [PATCH] Add `ninja tools` helper for downloading all tools

---
 tools/project.py | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/tools/project.py b/tools/project.py
index 950df73..40ecbd0 100644
--- a/tools/project.py
+++ b/tools/project.py
@@ -367,6 +367,17 @@ def generate_build_ninja(
 
     n.newline()
 
+    ###
+    # Helper rule for downloading all tools
+    ###
+    n.comment("Download all tools")
+    n.build(
+        outputs="tools",
+        rule="phony",
+        inputs=[dtk, sjiswrap, wrapper, compilers, binutils],
+    )
+    n.newline()
+
     ###
     # Build rules
     ###