projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 82fa356)
Added "make vloghtb"
authorClifford Wolf <clifford@clifford.at>
Thu, 24 Jul 2014 00:11:12 +0000 (02:11 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 24 Jul 2014 00:11:12 +0000 (02:11 +0200)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index 6f9daa04a35183d84fdfe5016db190adab10d493..94b8ad4a6ae3d5b11070fe2fb9a3ff3fab1b5d82 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -167,6 +167,9 @@ test: $(TARGETS) $(EXTRA_TARGETS)
        cd tests/memories && bash run-test.sh
        cd tests/sat && bash run-test.sh
 
+vloghtb: $(TARGETS) $(EXTRA_TARGETS)
+       cd tests/vloghtb && bash run-test.sh
+
 install: $(TARGETS) $(EXTRA_TARGETS)
        $(INSTALL_SUDO) mkdir -p $(DESTDIR)/bin
        $(INSTALL_SUDO) install $(TARGETS) $(DESTDIR)/bin/