2008-07-09 22:04:48 +08:00
|
|
|
#! /bin/bash
|
|
|
|
WHAT=$1
|
|
|
|
DIR=$2
|
|
|
|
MINIC=$3
|
|
|
|
MAXIC=$4
|
|
|
|
MINOC=$5
|
|
|
|
MAXOC=$6
|
|
|
|
|
|
|
|
WORK_DIR=tmp
|
|
|
|
mkdir $WORK_DIR
|
|
|
|
|
|
|
|
DATA_FILE=`find $DIR -name "*.dat" | grep _${WHAT}`
|
2008-07-13 05:41:32 +08:00
|
|
|
echo
|
2008-07-09 22:04:48 +08:00
|
|
|
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}
|
2008-07-13 05:41:32 +08:00
|
|
|
|
2008-07-09 22:04:48 +08:00
|
|
|
done
|
|
|
|
|
|
|
|
cd $WORK_DIR
|
|
|
|
../main $1 $3 $4 $5 $6 *
|
|
|
|
../mk_new_gnuplot.sh $1 $2
|
|
|
|
rm -f *.gnuplot
|
|
|
|
cd ..
|
|
|
|
|
|
|
|
rm -R $WORK_DIR
|
|
|
|
|
2008-07-13 05:41:32 +08:00
|
|
|
webpagefilename=$2/index.html
|
|
|
|
# echo '<h3>'${WHAT}'</h3>' >> $webpagefilename
|
2008-07-13 19:46:36 +08:00
|
|
|
echo '<hr/><a href="/btl/'$1'.pdf"><img src="/btl/'$1'.png" alt="'${WHAT}'" /></a><br/>' >> $webpagefilename
|
2008-07-13 05:41:32 +08:00
|
|
|
|
2008-07-09 22:04:48 +08:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|