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