diff options
Diffstat (limited to 'TOOLS/checktree.sh')
-rwxr-xr-x | TOOLS/checktree.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/TOOLS/checktree.sh b/TOOLS/checktree.sh index 2b2d48aef0..df2dc042a6 100755 --- a/TOOLS/checktree.sh +++ b/TOOLS/checktree.sh @@ -148,9 +148,9 @@ for i in "$@"; do eval _$var=$val ;; *) - echo "unknown option: $i" >&2 - exit 0 - ;; + echo "unknown option: $i" >&2 + exit 0 + ;; esac ;; *) |