Added "make vloghtb"

This commit is contained in:
Clifford Wolf 2014-07-24 02:11:12 +02:00
parent 82fa356037
commit fa71ae89ac
1 changed files with 3 additions and 0 deletions

View File

@ -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/