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