equal
deleted
inserted
replaced
40 TIMES_REPORT="$TIMES_REPORT, $RESULT" |
40 TIMES_REPORT="$TIMES_REPORT, $RESULT" |
41 fi |
41 fi |
42 done |
42 done |
43 if let "$TIME1 >= 5 && $TIME2 >= 5" |
43 if let "$TIME1 >= 5 && $TIME2 >= 5" |
44 then |
44 then |
45 local FACTOR=$(( $TIME2 * 10 / $TIME1 )) |
45 local FACTOR=$(( $TIME2 * 100 / $TIME1 )) |
46 local FACTOR1=$(( $FACTOR / 10 )) |
46 local FACTOR1=$(( $FACTOR / 100 )) |
47 local FACTOR2=$(( $FACTOR % 10 )) |
47 local FACTOR2=$(( $FACTOR % 100 )) |
48 TIMES_REPORT="$TIMES_REPORT, factor ${FACTOR1}.${FACTOR2}" |
48 TIMES_REPORT="$TIMES_REPORT, factor ${FACTOR1}.${FACTOR2}" |
49 fi |
49 fi |
50 } |
50 } |
51 |
51 |
52 show_times # sets TIMES_REPORT |
52 show_times # sets TIMES_REPORT |