diff options
author | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-07-28 21:30:25 -0400 |
---|---|---|
committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-07-28 21:30:25 -0400 |
commit | 8cc79c0891c7a4baa046cc0efa90a0244aab4788 (patch) | |
tree | fa8e1df06b7e78e9cc8b4666923727b4629c5793 | |
parent | d56f172b792f0e4d0dad4f8930fc451fa0d18b08 (diff) |
'make tidy' shouldn't trigger 'make -C tools'
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -96,7 +96,7 @@ endef # Build tools when building the rom. # This has to happen before the rules are processed, since that's when scan_includes is run. -ifeq (,$(filter clean tools,$(MAKECMDGOALS))) +ifeq (,$(filter clean tidy tools,$(MAKECMDGOALS))) $(info $(shell $(MAKE) -C tools)) |