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 d73ec7d206..bfc4f570b1 100755
--- a/TOOLS/idet.sh
+++ b/TOOLS/idet.sh
@@ -87,7 +87,7 @@ judge()
echo "$verdict"
}
-judge --vf-clr "$@"
+judge "$@" --vf-clr
case "$verdict" in
progressive)
[ -n "$ILDETECT_DRY_RUN" ] || \