From 814a994e99a5ca22b3fbfa6d4aef1cc1453469a8 Mon Sep 17 00:00:00 2001 From: Joris Vink Date: Wed, 9 Sep 2020 22:18:59 +0200 Subject: [PATCH] Don't depend on pushd/popd --- Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 8c66803..431d386 100644 --- a/Makefile +++ b/Makefile @@ -228,16 +228,16 @@ uninstall: tools-build: $(KODEV) for t in $(TOOLS); do \ - pushd tools/$$t; \ + cd tools/$$t; \ env KODEV_OUTPUT=$(KOREPATH) $(KOREPATH)/$(KODEV) build; \ - popd; \ + cd $(KOREPATH); \ done tools-clean: $(KODEV) for t in $(TOOLS); do \ - pushd tools/$$t; \ + cd tools/$$t; \ $(KOREPATH)/$(KODEV) clean; \ - popd; \ + cd $(KOREPATH); \ done tools-install: