deque: add test driver, add print messages for now for resize method and if we pull...
[model-checker-benchmarks.git] / chase-lev-deque / Makefile
index 3f0fc86..91ff999 100644 (file)
@@ -2,8 +2,8 @@ include ../benchmarks.mk
 
 TESTNAME = main
 
-HEADERS = 
-OBJECTS = deque.o
+HEADERS = deque.h
+OBJECTS = main.o deque.o
 
 all: $(TESTNAME)