From fa71ae89acf319696975a79472272aa30975af7f Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 24 Jul 2014 02:11:12 +0200 Subject: [PATCH] Added "make vloghtb" --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 6f9daa04a..94b8ad4a6 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/ -- 2.30.2