Permalink
Browse files

Make the default make target do nothing (see http://bugs.debian.org/c…

  • Loading branch information...
1 parent 9cae959 commit 33f19774469f39693abdd90481a931bab3c49b7c @chilts committed Oct 20, 2011
Showing with 2 additions and 0 deletions.
  1. +2 −0 Makefile
View
2 Makefile
@@ -1,3 +1,5 @@
+build:
+
open:
cil summary --is-open

0 comments on commit 33f1977

Please sign in to comment.