From 272508788037a5d4deadce0293284d8a1726f3af Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Thu, 4 Feb 2010 18:14:48 +0000
Subject: [PATCH] only check local benchmarks if /usr/local/benchmarks exists

---
 benchmarks/run | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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
-- 
2.11.4.GIT