X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=ms-queue%2FMakefile;h=da3a0e46b3ee7f4c5d5a9e4f8165db58d00c1774;hb=993e7e5146f39ff0ed459ac0a8bc30e7a0253156;hp=cd48d78267f88ebb149fcfdfabce3fc12df383cf;hpb=4f919e0a75b2bbc708bee3d109349fe24e4b264c;p=model-checker-benchmarks.git

diff --git a/ms-queue/Makefile b/ms-queue/Makefile
index cd48d78..da3a0e4 100644
--- a/ms-queue/Makefile
+++ b/ms-queue/Makefile
@@ -8,10 +8,10 @@ OBJECTS = main.o my_queue.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