summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-07-24 02:11:12 +0200
committerClifford Wolf <clifford@clifford.at>2014-07-24 02:11:12 +0200
commitfa71ae89acf319696975a79472272aa30975af7f (patch)
treeb7c770a9a9d17d6cf4f31b74aa09f30be450d7b0 /Makefile
parent82fa3560372bd89ad0985644a76cdd14f6701ec2 (diff)
Added "make vloghtb"
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 6f9daa04..94b8ad4a 100644
--- 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/