diff options
| author | Ben Sima <ben@bsima.me> | 2023-07-28 21:30:48 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2023-07-28 21:30:48 -0400 |
| commit | 1495f18118711f8fdcc38f469f890b677c1873ff (patch) | |
| tree | 6aa50ec1d1d1fdded96fc01db8b28775489db6a6 /Biz/Ide | |
| parent | cd0b32e234fcf17bbc7195918cdcd289b90c39e5 (diff) | |
Fix tags generation in git hook
Diffstat (limited to 'Biz/Ide')
| -rwxr-xr-x | Biz/Ide/hooks/post-checkout | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Biz/Ide/hooks/post-checkout b/Biz/Ide/hooks/post-checkout index 9328c35..3eac0b9 100755 --- a/Biz/Ide/hooks/post-checkout +++ b/Biz/Ide/hooks/post-checkout @@ -1,14 +1,14 @@ #!/usr/bin/env bash set -e -init_tags=${BIZ_ROOT:?}/Biz/Ide/init_tags.sh +mktags=${BIZ_ROOT:?}/Biz/Ide/mktags old=$1 new=$2 # filter out only the changed haskell files changed=($(git diff --diff-filter=d --name-only $old $new -- '*.hs')) -if [[ ! -r tags ]] +if [[ ! -r tags ]] || [[ ! -r TAGS ]] then - $init_tags + $mktags "$BIZ_ROOT"/**/* elif [[ ${#changed[@]} -gt 0 ]] then - $init_tags $changed + $mktags $changed fi |