From 4db7b68fc74846183af7e262d25310c4a1f9d34b Mon Sep 17 00:00:00 2001
From: Sebastien Mondet <seb@mondet.org>
Date: Wed, 31 Jul 2019 11:39:03 -0400
Subject: [PATCH] Build: make `make build-deps` fail with non-zero

---
 scripts/install_build_deps.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/install_build_deps.sh b/scripts/install_build_deps.sh
index 2fc2c50b82ce..cc1906a91c6f 100755
--- a/scripts/install_build_deps.sh
+++ b/scripts/install_build_deps.sh
@@ -1,5 +1,7 @@
 #! /bin/sh
 
+set -e
+
 script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")"
 src_dir="$(dirname "$script_dir")"
 
-- 
GitLab