diff options
Diffstat (limited to 'TOOLS/idet.sh')
-rwxr-xr-x | TOOLS/idet.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/TOOLS/idet.sh b/TOOLS/idet.sh index 9a2e698ea9..c3b30080a6 100755 --- a/TOOLS/idet.sh +++ b/TOOLS/idet.sh @@ -39,7 +39,7 @@ judge() case "$tff$bff$progressive$undetermined" in *[!0-9]*) - echo >&2 "ERROR: Unrecognized idet output: $out" + printf >&2 'ERROR: Unrecognized idet output: %s\n' "$out" exit 16 ;; esac @@ -75,7 +75,7 @@ judge() verdict="progressive" fi - echo "$verdict" + printf '%s\n' "$verdict" } judge "$@" --vf-clr |