diff options
Diffstat (limited to 'Biz/Ide/hooks')
| -rwxr-xr-x | Biz/Ide/hooks/post-checkout | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Biz/Ide/hooks/post-checkout b/Biz/Ide/hooks/post-checkout index 72ec5a7..4f58c74 100755 --- a/Biz/Ide/hooks/post-checkout +++ b/Biz/Ide/hooks/post-checkout @@ -1,16 +1,18 @@ #!/usr/bin/env bash set -e -mktags=${CODEROOT:?}/Biz/Ide/mktags.sh +function MakeTags { + ${CODEROOT:?}/Biz/Ide/MakeTags.py +} old=$1 new=$2 # filter out only the changed haskell files mapfile -t changed < <(git diff --diff-filter=d --name-only "$old" "$new" -- '*.hs') if [[ ! -r tags ]] || [[ ! -r TAGS ]] then - $mktags "$CODEROOT"/**/* + MakeTags "$CODEROOT"/**/* elif [[ ${#changed[@]} -gt 0 ]] then - $mktags "${changed[@]}" + MakeTags "${changed[@]}" fi ## START BRANCHLESS CONFIG |