diff options
author | Vadim Zeitlin <vz-swig@zeitlins.org> | 2021-11-02 19:48:53 +0100 |
---|---|---|
committer | Vadim Zeitlin <vz-swig@zeitlins.org> | 2021-11-02 19:57:01 +0100 |
commit | 7ddd9da1306b7f394c25db8080d9de14ae8b9c58 (patch) | |
tree | 9370cced9f389086aaf1eab8b4ea8cb8b9eea2fe | |
parent | 8b5cd5f9063aba702ba2af54c62ac2fde769d819 (diff) | |
download | swig-7ddd9da1306b7f394c25db8080d9de14ae8b9c58.tar.gz |
Update the apt sources before trying to install anything
We need to refresh the information about the available packages before
trying to install them.
-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 |