summaryrefslogtreecommitdiffstats
path: root/TOOLS/idet.sh
diff options
context:
space:
mode:
Diffstat (limited to 'TOOLS/idet.sh')
-rwxr-xr-xTOOLS/idet.sh4
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