Don't depend on pushd/popd

This commit is contained in:
Joris Vink 2020-09-09 22:18:59 +02:00
parent 21d1e5156b
commit 814a994e99
1 changed files with 4 additions and 4 deletions

View File

@ -228,16 +228,16 @@ uninstall:
tools-build: $(KODEV) tools-build: $(KODEV)
for t in $(TOOLS); do \ for t in $(TOOLS); do \
pushd tools/$$t; \ cd tools/$$t; \
env KODEV_OUTPUT=$(KOREPATH) $(KOREPATH)/$(KODEV) build; \ env KODEV_OUTPUT=$(KOREPATH) $(KOREPATH)/$(KODEV) build; \
popd; \ cd $(KOREPATH); \
done done
tools-clean: $(KODEV) tools-clean: $(KODEV)
for t in $(TOOLS); do \ for t in $(TOOLS); do \
pushd tools/$$t; \ cd tools/$$t; \
$(KOREPATH)/$(KODEV) clean; \ $(KOREPATH)/$(KODEV) clean; \
popd; \ cd $(KOREPATH); \
done done
tools-install: tools-install: