diff Makefile.in @ 1094:db52c32dbe42

All three current protocols work with move to using uw_app
author Adam Chlipala <adamc@hcoop.net>
date Sun, 27 Dec 2009 10:37:24 -0500
parents 782f0b4eea67
children bed675db3aff
line wrap: on
line diff
--- a/Makefile.in	Sat Dec 26 11:56:40 2009 -0500
+++ b/Makefile.in	Sun Dec 27 10:37:24 2009 -0500
@@ -24,7 +24,7 @@
 	rm -rf .cm src/.cm
 
 lib/c/%.o: src/c/%.c include/*.h
-	gcc -O3 -I include -c $< -o $@ $(CFLAGS)
+	gcc -Wimplicit -O3 -I include -c $< -o $@ $(CFLAGS)
 
 src/urweb.cm: src/prefix.cm src/sources
 	cat src/prefix.cm src/sources \