diff options
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 |