projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
47b8a03
)
Makefile: turn on all warnings
author
Brian Norris
<banorris@uci.edu>
Sat, 10 Mar 2012 02:21:12 +0000
(18:21 -0800)
committer
Brian Norris
<banorris@uci.edu>
Sat, 10 Mar 2012 02:21:12 +0000
(18:21 -0800)
(That's how I caught the previous error...)
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index efa75ffe21b2cce497b3301428afdf2c25853f70..139e9540884e5210dde95aa785153ea68e4e07e7 100644
(file)
--- 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}