From fd7b6490e6e31cdf3783602fd57a41dc10f9b0e7 Mon Sep 17 00:00:00 2001 From: Wez Furlong Date: Tue, 21 Mar 2023 19:45:04 -0700 Subject: [PATCH] get-deps: set -e Hoping to surface CI issues more loudly --- get-deps | 2 ++ 1 file changed, 2 insertions(+) diff --git a/get-deps b/get-deps index 34717bd24..ce243d3bc 100755 --- a/get-deps +++ b/get-deps @@ -319,6 +319,8 @@ if test -e /etc/os-release; then . /etc/os-release fi +set -e + case $ID in centos|fedora|rhel) fedora_deps