summaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-06-23 17:59:23 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-06-23 17:59:23 -0400
commit1a20e0c5c29da01338be0812bb819f9dd5e84ebc (patch)
tree767ed7f7342d56957d23eea82004fb2f2d85e032 /Makefile.in
parenta4717bf85434747f0e96aa11030ce0869db2706c (diff)
cgi protocol
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 d021aad1..d8d7b9c5 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 http
+OBJS := urweb request http cgi
c: $(OBJS:%=lib/c/%.o)
clean: