From: Andrew Chilton <andychilton@gmail.com>
Date: Thu, 20 Oct 2011 05:45:12 +0000 (+1300)
Subject: Make the default make target do nothing (see http://bugs.debian.org/cgi-bin/bugreport... 
X-Git-Url: http://git.mjollnir.org/gw?a=commitdiff_plain;h=33f19774469f39693abdd90481a931bab3c49b7c;p=cil.git

Make the default make target do nothing (see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=601935)
---

diff --git a/Makefile b/Makefile
index 27abede..4871c9b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,5 @@
+build:
+
 open:
 	cil summary --is-open