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

diff --git a/benchmarks/run b/benchmarks/run
index 63ab91b0dfb49eca5c2abf9e67672712233fe241..54458c95b07dfc1471f47a443cd7949bb4f2208a 100644 (file)
--- 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