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 ###