diff options
| -rw-r--r-- | Tools/CI-linux-install.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Tools/CI-linux-install.sh b/Tools/CI-linux-install.sh index 04dd5127f..b18206e64 100644 --- a/Tools/CI-linux-install.sh +++ b/Tools/CI-linux-install.sh @@ -7,6 +7,8 @@ if [[ -n "$GCC" ]]; then $RETRY sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test $RETRY sudo apt-get -qq update $RETRY sudo apt-get install -qq g++-$GCC +else + $RETRY sudo apt-get -qq update fi $RETRY sudo apt-get -qq install libboost-dev libpcre3-dev |