X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=ms-queue%2FMakefile;h=cd48d78267f88ebb149fcfdfabce3fc12df383cf;hp=c2a910408a17d97433d574239625a686e1f4af70;hb=8c19c4c22a76ba53d7eff91102a489bb44c805d7;hpb=bead5206c1935e3b499300c7e8b5b41a259a04c6

diff --git a/ms-queue/Makefile b/ms-queue/Makefile
index c2a9104..cd48d78 100644
--- a/ms-queue/Makefile
+++ b/ms-queue/Makefile
@@ -8,7 +8,7 @@ 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)