Searched refs:NUMBER_RUNS (Results 1 – 1 of 1) sorted by relevance
10 NUMBER_RUNS=1013 NUMBER_RUNS=$167 echo running $NUMBER_RUNS times72 for i in $(seq 1 $NUMBER_RUNS); do73 echo "Run $i / $NUMBER_RUNS" | tee -a $LOGFILE89 for i in $(seq 1 $NUMBER_RUNS); do90 echo "Run $i / $NUMBER_RUNS" | tee -a $LOGFILE