| #! /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 |
| |
| |
| |
| |
| |
| |