From 9b908f7cbe4325847a149446a369fc76dfdcad53 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Mon, 10 Jun 2013 10:46:10 -0700
Subject: Add a default test target

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 19778d3..e4ebf38 100644
--- a/Makefile
+++ b/Makefile
@@ -36,6 +36,9 @@ clean::
 .PHONY: distclean
 distclean:: clean
 
+.PHONY: test
+test:
+
 
 # Utilities ####################################################################
 
-- 
cgit v1.2.3