diff options
| -rwxr-xr-x | Biz/Ide/post-checkout | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Biz/Ide/post-checkout b/Biz/Ide/post-checkout index 636fad6..41ede59 100755 --- a/Biz/Ide/post-checkout +++ b/Biz/Ide/post-checkout @@ -11,7 +11,7 @@ changed=($(git diff --diff-filter=d --name-only $old $new -- '*.hs')) if [[ ! -r tags ]] then $init_tags -elif [[ ${#changed:-0} -gt 0 ]] +elif [[ ${#changed} -gt 0 ]] then $init_tags $changed fi |