makefile for benchmarks.

diff --git a/benchmarks/Makefile b/benchmarks/Makefile
new file mode 100644 (file)
index 0000000..322246d
--- /dev/null
+++ b/benchmarks/Makefile
@@ -0,0 +1,7 @@
+# Makefile for the benchmarks.
+
+all::
+       chmod 755 run
+
+all clean::
+       for b in *bench*; do cd $$b && $(MAKE) $@; done

diff --git a/benchmarks/run b/benchmarks/run
index 887b40d96c3369a1063fd1b3a194fe5db934569f..1bc2c8c7a5ef95c05a23f3ac68647aee888d40a6 100644 (file)
--- a/benchmarks/run
+++ b/benchmarks/run
@@ -2,6 +2,8 @@
 
 set -e
 
+make
+
 benchmarks=`echo *bench*`
 
 runbench() {