:: commit d7183e77c620b9edfc0042d18bf5e4f94730533e

Kamila Szewczyk <27734421+kspalaiologos@users.noreply.github.com> — 2022-09-02 09:54

parents: a5f29add00

disable machine-specific optimisations in release workflow

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index f867d3c..1d104dc 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -70,7 +70,7 @@ jobs:
           sudo apt-get update
           sudo apt-get install -y ${{ matrix.target[2] }}
       - name: Configure
-        run: ./configure --bindir=/ --program-suffix=-${{ matrix.target[0] }} ${{ matrix.target[1] }}
+        run: ./configure --bindir=/ --program-suffix=-${{ matrix.target[0] }} ${{ matrix.target[1] }} "CFLAGS=-O2 -flto"
       - name: Make
         run: |
           make
tab: 248 wrap: offon