blob: a360517cac1229b0295359a663524fdd067420c6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/usr/bin/env bash
set -e
function MakeTags {
${CODEROOT:?}/Omni/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
MakeTags "$CODEROOT"/**/*
elif [[ ${#changed[@]} -gt 0 ]]
then
MakeTags "${changed[@]}"
fi
## START BRANCHLESS CONFIG
git branchless hook post-checkout "$@"
## END BRANCHLESS CONFIG
|
