| #! /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 |
| |
| |
| BASE=${FILE##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDUC%.dat} |
|
|
| |
| 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 '<hr/><a href="'$prefix$1'.pdf"><img src="'$prefix$1'.png" alt="'${WHAT}'" /></a><br/>' >> $webpagefilename |
|
|
| fi |
|
|
| rm -R $WORK_DIR |
|
|
|
|
|
|
|
|
|
|
|
|
|
|