diff Makefile.in @ 914:782f0b4eea67

New release
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Aug 2009 17:33:13 -0400
parents 60240acd15b9
children db52c32dbe42
line wrap: on
line diff
--- a/Makefile.in	Tue Aug 25 17:12:21 2009 -0400
+++ b/Makefile.in	Tue Aug 25 17:33:13 2009 -0400
@@ -14,7 +14,7 @@
 smlnj: src/urweb.cm
 mlton: bin/urweb
 
-OBJS := urweb request queue http cgi fastcgi
+OBJS := urweb request queue http cgi fastcgi memmem
 c: $(OBJS:%=lib/c/%.o)
 
 clean: