mirrors/gst-plugins-rs
mirrors/gst-plugins-rs
1
1
Fork 0
mirror of https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs.git synced 2024-11-22 03:21:00 +00:00
Code Issues Projects Releases Wiki Activity

ci: set -e in all shell scripts

Browse source 
Otherwise errors are silently ignored.
This commit is contained in:
Sebastian Dröge 2020-07-28 09:47:44 +03:00
parent 4d19fbb58d
commit 7255c1d204
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
ci/install-dav1d.sh
View file

@ -1,3 +1,5 @@
set -e
RELEASE=0.7.1 RELEASE=0.7.1
git clone https://code.videolan.org/videolan/dav1d.git --branch $RELEASE git clone https://code.videolan.org/videolan/dav1d.git --branch $RELEASE