Add bench for Tommy DS

bench/Makefile

@@ -111,6 +111,15 @@ bench-collectionc0:
 	@./bench-collectionc.exe 41
 	@./bench-collectionc.exe 50
 
+# TOMMYDS shall point to the source directory.
+bench-tommyds:
+	if test -n "$${TOMMYDS}" ; then make bench-tommyds0 ; else echo "Nothing to be done." ; fi
+
+bench-tommyds0:
+	$(CC) $(CFLAGS) $(CPPFLAGS) -I "$${TOMMYDS}" bench-tommyds.c $${TOMMYDS}/tommyds/tommyarray.c $${TOMMYDS}/tommyds/tommylist.c -o bench-tommyds.exe
+	@./bench-tommyds.exe 10
+	@./bench-tommyds.exe 20
+
 bench-plain:
 	$(CC) $(CFLAGS) $(CPPFLAGS) bench-plain-c.c -o bench-plain-c.exe
 	@./bench-plain-c.exe