|  | #! /bin/bash | 
|  | WHAT=$1 | 
|  | DIR=$2 | 
|  | MINIC=$3 | 
|  | MAXIC=$4 | 
|  | MINOC=$5 | 
|  | MAXOC=$6 | 
|  | prefix=$8 | 
|  |  | 
|  | meanstatsfilename=$2/mean.html | 
|  |  | 
|  | WORK_DIR=tmp | 
|  | mkdir $WORK_DIR | 
|  |  | 
|  | DATA_FILE=`find $DIR -name "*.dat" | grep _${WHAT}` | 
|  |  | 
|  | if [ -n "$DATA_FILE" ]; then | 
|  |  | 
|  | 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} | 
|  |  | 
|  | 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 | 
|  |  | 
|  | 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 | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  |