ms-queue: more cleanup

[model-checker-benchmarks.git] / ms-queue / Makefile

diff --git a/ms-queue/Makefile b/ms-queue/Makefile
index 0f19830002df8839ff804b337a4709f9df0419fd..c2a910408a17d97433d574239625a686e1f4af70 100644 (file)
--- a/ms-queue/Makefile
+++ b/ms-queue/Makefile
@@ -2,8 +2,8 @@ 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)