From dbde04df45de738c335dd7080c180d384ddb5e64 Mon Sep 17 00:00:00 2001
From: Jean-Michel Picod <jmichel@google.com>
Date: Mon, 24 Feb 2020 19:34:39 +0100
Subject: [PATCH] Fix setup script for Github

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

diff --git a/setup.sh b/setup.sh
index c4ff228..45b5138 100755
--- a/setup.sh
+++ b/setup.sh
@@ -16,7 +16,7 @@
 set -e
 
 # Ensure the script doesn't fail on Github workflows
-TERM=${TERM:-vt100}
+export TERM=${TERM:-vt100}
 
 # Check that rustup and pip3 are installed
 check_command () {
-- 
GitLab