From 15b0595013e564f16e6bd92fd1328f908236753a Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Wed, 3 Feb 2010 16:49:15 +0000
Subject: [PATCH] makefile for benchmarks.

---
 benchmarks/Makefile | 7 +++++++
 benchmarks/run      | 2 ++
 2 files changed, 9 insertions(+)
 create mode 100644 benchmarks/Makefile

diff --git a/benchmarks/Makefile b/benchmarks/Makefile
new file mode 100644
index 000000000..322246d5f
--- /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 887b40d96..1bc2c8c7a 100644
--- a/benchmarks/run
+++ b/benchmarks/run
@@ -2,6 +2,8 @@
 
 set -e
 
+make
+
 benchmarks=`echo *bench*`
 
 runbench() {
-- 
2.11.4.GIT