From c54e3eca0a8d7e72f12801bc5ec993dddfa7958b Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 13 Jul 2008 15:44:00 -0400 Subject: Serving pages --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') 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 \ -- cgit v1.2.3