diff options
author | Sebastian Dröge <sebastian@centricular.com> | 2020-07-28 09:47:44 +0300 |
---|---|---|
committer | Sebastian Dröge <sebastian@centricular.com> | 2020-07-28 09:47:44 +0300 |
commit | 7255c1d204e2c208a4e00a61b6e9f34f47e30e24 (patch) | |
tree | 57918fcd4cfc89f0e0eabec7186d2c547145e13a /ci | |
parent | 4d19fbb58d4e17814e46a6d2186d7c906984270c (diff) |
ci: `set -e` in all shell scripts
Otherwise errors are silently ignored.
Diffstat (limited to 'ci')
-rw-r--r-- | ci/install-dav1d.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/install-dav1d.sh b/ci/install-dav1d.sh index 12c0fe7ae..5c7cac975 100644 --- a/ci/install-dav1d.sh +++ b/ci/install-dav1d.sh @@ -1,3 +1,5 @@ +set -e + RELEASE=0.7.1 git clone https://code.videolan.org/videolan/dav1d.git --branch $RELEASE |