mirror of
https://gitlab.com/libeigen/eigen.git
synced 2025-01-12 14:25:16 +08:00
40 lines
541 B
Bash
40 lines
541 B
Bash
|
#! /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}`
|
||
|
|
echo
|
||
|
|
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 *
|
||
|
|
../mk_new_gnuplot.sh $1 $2
|
||
|
|
rm -f *.gnuplot
|
||
|
|
cd ..
|
||
|
|
|
||
|
|
rm -R $WORK_DIR
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|