diff options
| author | Giacomo Pozzoni <giacomopoz@gmail.com> | 2020-10-25 10:31:29 +0100 |
|---|---|---|
| committer | Shauren <shauren.trinity@gmail.com> | 2022-02-28 23:13:59 +0100 |
| commit | b7a31241562089eb8df7f5243e26d5e9c23ba4de (patch) | |
| tree | 65e0c23097ee4ea40b9d3e59fe1b0924ab5cf41a /.github | |
| parent | 2134546253b007dad872efd429e1ce96c85f3796 (diff) | |
CI/GitHub: Switch to GCC 8 (#25610)
* CI/GitHub: Switch to GCC 8
Build on GitHub Actions using GCC 8 as it's the oldest supported GCC
* Core/Misc: Attempt to fix GCC 8 build
(cherry picked from commit d7459cccedc7ca9ba85e209dfeef61969fc78d9a)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/gcc-build.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/gcc-build.yml b/.github/workflows/gcc-build.yml index d699e0088b3..f9050a14be0 100644 --- a/.github/workflows/gcc-build.yml +++ b/.github/workflows/gcc-build.yml @@ -12,6 +12,7 @@ jobs: - name: Dependencies run: | sudo apt-get update && sudo apt-get install -yq libboost-all-dev + sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-8 100 --slave /usr/bin/g++ g++ /usr/bin/g++-8 - name: Setup run: | mkdir bin |