diff options
Diffstat (limited to 'TOOLS')
-rwxr-xr-x | TOOLS/idet.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/TOOLS/idet.sh b/TOOLS/idet.sh index f6d67f96dc..247864f8aa 100755 --- a/TOOLS/idet.sh +++ b/TOOLS/idet.sh @@ -45,10 +45,10 @@ judge() exit 16 ;; esac - tff=$(($tff + $tff1)) - bff=$(($bff + $bff1)) - progressive=$(($progressive + $progressive1)) - undetermined=$(($undetermined + $undetermined1)) + tff=$((tff + tff1)) + bff=$((bff + bff1)) + progressive=$((progressive + progressive1)) + undetermined=$((undetermined + undetermined1)) done <<EOF $(testfun "$@") EOF |