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