1 files changed, 23 insertions, 20 deletions
diff --git a/bench/btl/data/mk_mean_script.sh b/bench/btl/data/mk_mean_script.sh
index 43bab559a..b10df0240 100644
--- a/bench/btl/data/mk_mean_script.sh
+++ b/bench/btl/data/mk_mean_script.sh
@@ -13,34 +13,37 @@ WORK_DIR=tmp
 mkdir $WORK_DIR
 
 DATA_FILE=`find $DIR -name "*.dat" | grep _${WHAT}`
-echo ""
-echo "$1..."
-for FILE in $DATA_FILE
-do
-        ##echo hello world
-        ##echo "mk_mean_script1" ${FILE}
-	BASE=${FILE##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDUC%.dat}
 
-	##echo "mk_mean_script1" ${TITLE}
-	cp $FILE ${WORK_DIR}/${TITLE}
+if [ -n "$DATA_FILE" ]; then
 
-done
+  echo ""
+  echo "$1..."
+  for FILE in $DATA_FILE
+  do
+          ##echo hello world
+          ##echo "mk_mean_script1" ${FILE}
+    BASE=${FILE##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDUC%.dat}
 
-cd $WORK_DIR
-../main $1 $3 $4 $5 $6 * >> ../$meanstatsfilename
-../mk_new_gnuplot.sh $1 $2 $7
-rm -f *.gnuplot
-cd ..
+    ##echo "mk_mean_script1" ${TITLE}
+    cp $FILE ${WORK_DIR}/${TITLE}
 
-rm -R $WORK_DIR
+  done
+
+  cd $WORK_DIR
+  ../main $1 $3 $4 $5 $6 * >> ../$meanstatsfilename
+  ../mk_new_gnuplot.sh $1 $2 $7
+  rm -f *.gnuplot
+  cd ..
 
-echo '<br/>' >> $meanstatsfilename
+  echo '<br/>' >> $meanstatsfilename
 
-webpagefilename=$2/index.html
-# echo '<h3>'${WHAT}'</h3>'  >> $webpagefilename
-echo '<hr/><a href="'$prefix$1'.pdf"><img src="'$prefix$1'.png" alt="'${WHAT}'" /></a><br/>'  >> $webpagefilename
+  webpagefilename=$2/index.html
+  # echo '<h3>'${WHAT}'</h3>'  >> $webpagefilename
+  echo '<hr/><a href="'$prefix$1'.pdf"><img src="'$prefix$1'.png" alt="'${WHAT}'" /></a><br/>'  >> $webpagefilename
 
+fi
 
+rm -R $WORK_DIR