diff options
author | Henrik Gramner <gramner@twoorioles.com> | 2019-03-28 19:39:21 +0300 |
---|---|---|
committer | Henrik Gramner <henrik@gramner.com> | 2019-03-28 20:06:22 +0300 |
commit | abb972a5d33fe74df78b6d43104f407afa1a2718 (patch) | |
tree | 2052529d5304e77b02202fbc6ccd258271d79e57 | |
parent | 91568b2a57de65aad9f9f73fcc8cb71fdc507e9b (diff) |
CI: Check for newline at end of file
-rw-r--r-- | .gitlab-ci.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c22bf54..19d1acd 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -12,6 +12,12 @@ style-check: script: - git grep -n -P "\t|\r| $" -- . ':(exclude)*/compat/*' && exit 1 - git grep -n -i "david" -- . ':(exclude)THANKS.md' ':(exclude).gitlab-ci.yml' && exit 1 + - for i in $(git ls-files -- . ':(exclude)*/compat/*'); do + if [ -n "$(tail -c 1 "$i")" ]; then + echo "No newline at end of $i"; + exit 1; + fi; + done - git remote rm upstream 2> /dev/null || true - git remote add upstream https://code.videolan.org/videolan/dav1d.git - git fetch -q upstream master |