Update the apt sources before trying to install anything

We need to refresh the information about the available packages before
trying to install them.
This commit is contained in:
Vadim Zeitlin 2021-11-02 19:48:53 +01:00
commit 7ddd9da130

View file

@ -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