diff options
Diffstat (limited to 'TOOLS/idet.sh')
-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 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" ] || \ |