From a73837cb5983ef139da023667c48aca5dbd7344c Mon Sep 17 00:00:00 2001
From: Jean-Michel Picod <jmichel@google.com>
Date: Mon, 24 Feb 2020 19:31:37 +0100
Subject: [PATCH] Fix undefined term in Github workflows

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

diff --git a/setup.sh b/setup.sh
index ae0fd0c..c4ff228 100755
--- a/setup.sh
+++ b/setup.sh
@@ -15,6 +15,9 @@
 
 set -e
 
+# Ensure the script doesn't fail on Github workflows
+TERM=${TERM:-vt100}
+
 # Check that rustup and pip3 are installed
 check_command () {
   if ! which "$1" >/dev/null
-- 
GitLab