From 89d15f5759bc98a36fdba5271c411a7d526547aa Mon Sep 17 00:00:00 2001
From: Jean-Michel Picod <jmichel@google.com>
Date: Tue, 25 Feb 2020 09:36:20 +0100
Subject: [PATCH] Fix tput stopping the workflow

---
 setup.sh | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/setup.sh b/setup.sh
index 25dae22..6f73a5b 100755
--- a/setup.sh
+++ b/setup.sh
@@ -13,10 +13,11 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
-set -ex
-
 # Ensure the script doesn't fail on Github workflows
 export TERM=${TERM:-vt100}
+done_text="$(tput bold)DONE.$(tput sgr0)"
+
+set -ex
 
 # Check that rustup and pip3 are installed
 check_command () {
@@ -32,8 +33,6 @@ check_command pip3
 # Ensure the submodules are pulled and up-to-date
 git submodule update --init
 
-done_text="$(tput bold)DONE.$(tput sgr0)"
-
 patch_conflict_detected () {
   cat <<EOF
 
-- 
GitLab