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