X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=chase-lev-deque%2FMakefile;h=0e20427e8f303313972fe68772329e4dfc967e21;hp=91ff999c9d5163e3d22e0f4754b3a1cdc08bcc0e;hb=bd72205f6e95bd471c13dcf74476d44b40e9a56d;hpb=b2f7bb95913baa71483d088402a32d5ca64b56f7

diff --git a/chase-lev-deque/Makefile b/chase-lev-deque/Makefile
index 91ff999..0e20427 100644
--- a/chase-lev-deque/Makefile
+++ b/chase-lev-deque/Makefile
@@ -8,10 +8,10 @@ OBJECTS = main.o deque.o
 all: $(TESTNAME)
 
 $(TESTNAME): $(HEADERS) $(OBJECTS)
-	$(CC) -o $@ $(OBJECTS) $(CPPFLAGS) $(LDFLAGS)
+	$(CC) -o $@ $(OBJECTS) $(CFLAGS) $(LDFLAGS)
 
 %.o: %.c
-	$(CC) -c -o $@ $< $(CPPFLAGS)
+	$(CC) -c -o $@ $< $(CFLAGS)
 
 clean:
 	rm -f $(TESTNAME) *.o