fix

srz-zumix · Apr 12, 2020 · 25cd287 · 25cd287
1 parent 70c3641
commit 25cd287
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 \