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

Ruoye-W · Feb 4, 2010 · 2725087 · 2725087
1 parent 5795636
commit 2725087
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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