X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=ms-queue%2FMakefile;h=cd48d78267f88ebb149fcfdfabce3fc12df383cf;hb=eb1ce023cf7eadae53e3abefddc561da3f965600;hp=0f19830002df8839ff804b337a4709f9df0419fd;hpb=7df8191c93d3664a3b1ea2dfcd0e88de2cfcc7c9;p=model-checker-benchmarks.git

diff --git a/ms-queue/Makefile b/ms-queue/Makefile
index 0f19830..cd48d78 100644
--- a/ms-queue/Makefile
+++ b/ms-queue/Makefile
@@ -2,13 +2,13 @@ include ../benchmarks.mk
 
 TESTNAME = main
 
-HEADERS = main.h my_queue.h
-OBJECTS = main.o my_queue.o args.o
+HEADERS = my_queue.h
+OBJECTS = main.o my_queue.o
 
 all: $(TESTNAME)
 
 $(TESTNAME): $(HEADERS) $(OBJECTS)
-	$(CC) -o $@ $^ $(CPPFLAGS) $(LDFLAGS)
+	$(CC) -o $@ $(OBJECTS) $(CPPFLAGS) $(LDFLAGS)
 
 %.o: %.c
 	$(CC) -c -o $@ $< $(CPPFLAGS)