From: Brian Norris <banorris@uci.edu>
Date: Sat, 10 Mar 2012 02:21:12 +0000 (-0800)
Subject: Makefile: turn on all warnings
X-Git-Tag: pldi2013~605
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8b26430bc2c471a6903a91f975dce820d8d38208;p=model-checker.git

Makefile: turn on all warnings

(That's how I caught the previous error...)
---

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}