From c8c1a544f3db9fd581ab3d84dbdb149dd2d933df Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Fri, 18 Feb 2011 22:06:06 +0000
Subject: Run dafny and boogie tests by default

---
 Test/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Test/Makefile')

diff --git a/Test/Makefile b/Test/Makefile
index 320e7933..f550eab9 100644
--- a/Test/Makefile
+++ b/Test/Makefile
@@ -3,7 +3,9 @@ LONG = $(shell awk '{ if (tolower($$2) ~ /^long$$/) print $$1 }' $(TESTS_FILE))
 NORMAL = $(shell awk '{ if (tolower($$2) ~ /^use$$/) print $$1 }' $(TESTS_FILE))
 TESTS = $(NORMAL)
 
-all: $(addprefix run-, $(TESTS))
+all: boogie dafny
+
+boogie: $(addprefix run-, $(TESTS))
 
 dafny: $(addprefix rundfy-, $(TESTS))
 
-- 
cgit v1.2.3