From 25cd287b4cf2a588bcb0e13cba6a6352e16187c2 Mon Sep 17 00:00:00 2001
From: srz_zumix <zumix.cpp@gmail.com>
Date: Sun, 12 Apr 2020 17:46:22 +0900
Subject: [PATCH] fix

---
 .ci/linux/install-gcc.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.ci/linux/install-gcc.sh b/.ci/linux/install-gcc.sh
index 1a97fdc850..375eee592a 100755
--- a/.ci/linux/install-gcc.sh
+++ b/.ci/linux/install-gcc.sh
@@ -1,13 +1,13 @@
 #!/bin/sh
 
-set -ex
+set -e
 
 if [ -z ${GCC_VERSION+x} ]; then
   echo "GCC_VERSION is empty. skip install gcc..."
   return
 fi
 
-sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test
+sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test || true
 sudo apt-get -y update
 sudo apt-get -qq install g++-${GCC_VERSION}
 sudo update-alternatives --install /usr/bin/gcc gcc \