diff options
author | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-07-28 21:30:44 -0400 |
---|---|---|
committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-07-28 21:30:44 -0400 |
commit | 8a7e522458efbce2b94cd081a092706fb43b4724 (patch) | |
tree | ede61b0c8fba93a45d97c2cef5a93c85978a90e6 | |
parent | b8560b5037b91c553ac5b0a4baef3b3123f85434 (diff) |
'make tidy' shouldn't trigger 'make -C tools'
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -99,7 +99,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)) |