From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 8 Nov 2018 08:58:47 +0000 (+0100)
Subject: Fix "make ystests" to use correct Yosys binary
X-Git-Tag: yosys-0.9~413
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=05d2e5d773cff71b668d7bb96a509ece835ebf6a;p=yosys.git

Fix "make ystests" to use correct Yosys binary

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/Makefile b/Makefile
index fd708b7de..290a3a50b 100644
--- a/Makefile
+++ b/Makefile
@@ -595,7 +595,7 @@ vloghtb: $(TARGETS) $(EXTRA_TARGETS)
 ystests: $(TARGETS) $(EXTRA_TARGETS)
 	rm -rf tests/ystests
 	git clone https://github.com/YosysHQ/yosys-tests.git tests/ystests
-	+PATH="$$PWD:$$PATH" cd tests/ystests && $(MAKE)
+	+$(MAKE) PATH="$$PWD:$$PATH" -C tests/ystests
 	@echo ""
 	@echo "  Finished \"make ystests\"."
 	@echo ""