From: Ben Gras <ben@minix3.org>
Date: Thu, 4 Feb 2010 18:14:48 +0000 (+0000)
Subject: only check local benchmarks if /usr/local/benchmarks exists
X-Git-Tag: v3.1.6
X-Git-Url: http://zhaoyanbai.com/repos/rndc.html?a=commitdiff_plain;h=272508788037a5d4deadce0293284d8a1726f3af;p=minix.git

only check local benchmarks if /usr/local/benchmarks exists
---

diff --git a/benchmarks/run b/benchmarks/run
index 63ab91b0d..54458c95b 100644
--- a/benchmarks/run
+++ b/benchmarks/run
@@ -7,7 +7,10 @@ make
 BENCHDIR=/usr/local/benchmarks
 
 basebenchmarks=`echo *bench*`
-packagebenchmarks=`(cd $BENCHDIR && echo *bench*)`
+
+if [ -d $BENCHDIR ]
+then	packagebenchmarks=`(cd $BENCHDIR && echo *bench*)`
+fi
 
 runbench() {
 	bench=$1