From: Ben Gras 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/%22http:/www.isc.org/icons/zpipe.c?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