]> Zhao Yanbai Git Server - minix.git/commitdiff
makefile for benchmarks.
authorBen Gras <ben@minix3.org>
Wed, 3 Feb 2010 16:49:15 +0000 (16:49 +0000)
committerBen Gras <ben@minix3.org>
Wed, 3 Feb 2010 16:49:15 +0000 (16:49 +0000)
benchmarks/Makefile [new file with mode: 0644]
benchmarks/run

diff --git a/benchmarks/Makefile b/benchmarks/Makefile
new file mode 100644 (file)
index 0000000..322246d
--- /dev/null
@@ -0,0 +1,7 @@
+# Makefile for the benchmarks.
+
+all::
+       chmod 755 run
+
+all clean::
+       for b in *bench*; do cd $$b && $(MAKE) $@; done
index 887b40d96c3369a1063fd1b3a194fe5db934569f..1bc2c8c7a5ef95c05a23f3ac68647aee888d40a6 100644 (file)
@@ -2,6 +2,8 @@
 
 set -e
 
+make
+
 benchmarks=`echo *bench*`
 
 runbench() {