summaryrefslogtreecommitdiffstats
path: root/TOOLS
diff options
context:
space:
mode:
Diffstat (limited to 'TOOLS')
-rwxr-xr-xTOOLS/idet.sh2
1 files changed, 1 insertions, 1 deletions
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 <<EOF
-$(testfun "$@")
+$(testfun "$@" | sed 's/:/: /g')
EOF
interlaced=$((bff + tff))