Lines Matching refs: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=${REDU…
23 	echo "'"$FILE"'" title "'"$TITLE"'" ",\\" >>  $WHAT.gnuplot
35 for FILE in $DATA_FILE
37      if [ $FILE != $LAST ]
39 …BASE=${FILE##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDU…
40 	echo "'"$FILE"'" title "'"$TITLE"'" ",\\" >>  $WHAT.gnuplot
50 for FILE in $DATA_FILE
52      if [ $FILE != $LAST ]
54 …BASE=${FILE##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDU…
55 	echo "'"$FILE"'" title "'"$TITLE"'" ",\\" >>  $WHAT.gnuplot