summaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-08-25 17:33:13 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-08-25 17:33:13 -0400
commit87777778aeaee3e1de767499f86bc22789118a69 (patch)
tree0c17c4e2488fadc7daa109118e623a4871c9bdb8 /Makefile.in
parentf9d6e7f4d4e5f1c01fd10bf82232a938b930147f (diff)
New release
Diffstat (limited to 'Makefile.in')
-rw-r--r--Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index 1aca9590..0d8b998a 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -14,7 +14,7 @@ all: smlnj mlton c
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: