diff options
author | Tauwasser <Tauwasser@tauwasser.eu> | 2018-06-03 22:11:44 +0200 |
---|---|---|
committer | Tauwasser <Tauwasser@tauwasser.eu> | 2018-06-03 22:11:44 +0200 |
commit | 5d65c77bd0b356c2d5659e6029f712131bb697b6 (patch) | |
tree | aec89c828a73d1a0e5cd0a8a9d81e7f35d3e4607 | |
parent | 40ecb0576b20cca0ea386f270674de9828b5c846 (diff) |
Makefile: quote make variable
If people use absolute paths to other tools, they can quote in environment variables.
MAKE was the only variable not under user control.
Signed-off-by: Tauwasser <Tauwasser@tauwasser.eu>
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -42,7 +42,7 @@ compare: $(ROM) $(CORRECTEDROM) .PHONY: tools tools tools/pkmncompress tools/gfx: - $(MAKE) -C tools/ + "$(MAKE)" -C tools/ .PHONY: coverage coverage: tools/disasm_coverage.py $(ROM) @@ -52,7 +52,7 @@ coverage: tools/disasm_coverage.py $(ROM) .PHONY: clean clean: rm -rf $(ROM) $(CORRECTEDROM) $(BUILD) $(ROMS:.gb=.sym) $(ROMS:.gb=.map) - make -C tools clean + "$(MAKE)" -C tools clean # Remove files except for graphics. .PHONY: mostlyclean |