summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTauwasser <Tauwasser@tauwasser.eu>2018-06-03 22:11:44 +0200
committerTauwasser <Tauwasser@tauwasser.eu>2018-06-03 22:11:44 +0200
commit5d65c77bd0b356c2d5659e6029f712131bb697b6 (patch)
treeaec89c828a73d1a0e5cd0a8a9d81e7f35d3e4607
parent40ecb0576b20cca0ea386f270674de9828b5c846 (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--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 7f7346b..0db6498 100644
--- a/Makefile
+++ b/Makefile
@@ -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