diff options
-rwxr-xr-x | TOOLS/idet.sh | 2 |
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)) |