From 51b0e0f48a9ed29a14c49474f52e912e1e9ce23e Mon Sep 17 00:00:00 2001
From: Jean-Michel Picod <jmichel@google.com>
Date: Tue, 25 Feb 2020 09:58:52 +0100
Subject: [PATCH] Revert debug mode

---
 setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.sh b/setup.sh
index 6f73a5b..5f9e638 100755
--- a/setup.sh
+++ b/setup.sh
@@ -17,7 +17,7 @@
 export TERM=${TERM:-vt100}
 done_text="$(tput bold)DONE.$(tput sgr0)"
 
-set -ex
+set -e
 
 # Check that rustup and pip3 are installed
 check_command () {
-- 
GitLab