max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(script/prepare-commit-msg): filter out .expected.out files

Browse source
This commit is contained in:
Sebastian Ullrich 2018-07-30 14:42:43 -07:00
parent 242d63af25
commit 3127553e72
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
script/prepare-commit-msg
View file

@ -5,7 +5,7 @@ set -eo pipefail
[[ -z "$2" ]] || exit 0
# remove last line "$n files changed [...]"
diff=$(git diff --staged --stat | head -n -1)
diff=$(git diff --staged --stat | grep -v '.*.expected.out' | head -n -1)
# take file with most changes
file=$(echo "$diff" | sort -n -k 3 | tail -n 1)
# extract filename