summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 15:44:00 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 15:44:00 -0400
commitc54e3eca0a8d7e72f12801bc5ec993dddfa7958b (patch)
treea37326be0f01025df57b4f3bf1f209528042df1c /Makefile
parent0eb51a6e21e5f435d37afd885ae316a0575c7208 (diff)
Serving pages
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c6d66184..ace1e702 100644
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,7 @@ clib/lacweb.o: src/c/lacweb.c
gcc -O3 -I include -c src/c/lacweb.c -o clib/lacweb.o
clib/driver.o: src/c/driver.c
- gcc -O3 -c src/c/driver.c -o clib/driver.o
+ gcc -O3 -I include -c src/c/driver.c -o clib/driver.o
src/lacweb.cm: src/prefix.cm src/sources
cat src/prefix.cm src/sources \