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