Lines Matching full:file
11 for FILE in $DATA_FILE
13 LAST=$FILE
18 for FILE in $DATA_FILE
20 if [ $FILE != $LAST ]
22 BASE=${FILE##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDUC%.dat}
23 echo "'"$FILE"'" title "'"$TITLE"'" ",\\" >> $WHAT.gnuplot
26 BASE=${LAST##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDUC%.dat}
35 for FILE in $DATA_FILE
37 if [ $FILE != $LAST ]
39 BASE=${FILE##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDUC%.dat}
40 echo "'"$FILE"'" title "'"$TITLE"'" ",\\" >> $WHAT.gnuplot
43 BASE=${LAST##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDUC%.dat}
50 for FILE in $DATA_FILE
52 if [ $FILE != $LAST ]
54 BASE=${FILE##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDUC%.dat}
55 echo "'"$FILE"'" title "'"$TITLE"'" ",\\" >> $WHAT.gnuplot
58 BASE=${LAST##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDUC%.dat}
