X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Makefile;h=139e9540884e5210dde95aa785153ea68e4e07e7;hb=8b26430bc2c471a6903a91f975dce820d8d38208;hp=efa75ffe21b2cce497b3301428afdf2c25853f70;hpb=47b8a03d4a9ccbaa554d9cea827436012d9a7054;p=model-checker.git

diff --git a/Makefile b/Makefile
index efa75ff..139e954 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@ CC=gcc
 BIN=libthreads
 SOURCE=libthreads.c schedule.c
 HEADERS=libthreads.h schedule.h common.h
-FLAGS=
+FLAGS=-Wall
 
 all: ${BIN}