summaryrefslogtreecommitdiff
path: root/Biz/Ide
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2021-04-21 15:10:15 -0400
committerBen Sima <ben@bsima.me>2021-11-26 13:47:34 -0500
commitd7846179146cd9eee85339d69d1bc057665d4f34 (patch)
tree21cfa76b983d693eeb205aaff143d727af471f39 /Biz/Ide
parent304ab785d07bbdb808d6c824c5457a06628274c1 (diff)
Fix post-checkout script
Don't exit on no-such-variable because we can just silently fail...
Diffstat (limited to 'Biz/Ide')
-rwxr-xr-xBiz/Ide/post-checkout7
1 files changed, 2 insertions, 5 deletions
diff --git a/Biz/Ide/post-checkout b/Biz/Ide/post-checkout
index 41ede59..95b35cd 100755
--- a/Biz/Ide/post-checkout
+++ b/Biz/Ide/post-checkout
@@ -1,17 +1,14 @@
#!/usr/bin/env bash
-set -eu
+set -e
init_tags=$BIZ_ROOT/Biz/Ide/init_tags.sh
-
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 ]]
then
$init_tags
-elif [[ ${#changed} -gt 0 ]]
+elif [[ ${#changed[@]} -gt 0 ]]
then
$init_tags $changed
fi