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

diff --git a/Makefile b/Makefile
index 27abedea77f43841949327f09fd8e94e6823b107..4871c9b046942b3c9c9481ea224a9da4d569ebd9 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,5 @@
+build:
+
 open:
        cil summary --is-open