Checkout yosys-0.9-rc branch of yosys-tests

diff --git a/Makefile b/Makefile
index 67bcb3d154223b396dba9c1fc5a09821f01c07ca..383ec9e5582defeda721559d293fd5501c3df588 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -702,7 +702,7 @@ vloghtb: $(TARGETS) $(EXTRA_TARGETS)
 
 ystests: $(TARGETS) $(EXTRA_TARGETS)
        rm -rf tests/ystests
-       git clone https://github.com/YosysHQ/yosys-tests.git tests/ystests
+       git clone -b yosys-0.9-rc https://github.com/YosysHQ/yosys-tests.git tests/ystests
        +$(MAKE) PATH="$$PWD:$$PATH" -C tests/ystests
        @echo ""
        @echo "  Finished \"make ystests\"."