makefile for benchmarks.

2010-02-03 16:49:15 +00:00 · 2010-02-03 16:49:15 +00:00 · 15b0595013
commit 15b0595013
parent d6598cc7cd
2 changed files with 9 additions and 0 deletions
--- a/benchmarks/Makefile
+++ 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
--- a/benchmarks/run
+++ b/benchmarks/run
@ -2,6 +2,8 @@

 set -e

+make
+
 benchmarks=`echo *bench*`

 runbench() {