From f14a3df778b3fa95d8996ca09fd23e1e6ddef16e Mon Sep 17 00:00:00 2001 From: Rudolf Polzer Date: Tue, 2 Jun 2015 15:37:41 +0200 Subject: idet.sh: Support larger files. --- TOOLS/idet.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'TOOLS') diff --git a/TOOLS/idet.sh b/TOOLS/idet.sh index e9214ef844..ae7a3612fe 100755 --- a/TOOLS/idet.sh +++ b/TOOLS/idet.sh @@ -47,7 +47,7 @@ judge() progressive=$((progressive + progressive1)) undetermined=$((undetermined + undetermined1)) done <