diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index a8b0f8ac08..3f05374956 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -52,7 +52,7 @@ jobs: - name: Set some linux specific things if: matrix.os == 'ubuntu-latest' run: | - echo '::set-env name=LINUX_CABAL_ARGS::--enable-executable-static' + echo '::set-env name=LINUX_CABAL_ARGS::--enable-executable-static --ghc-options=-split-sections' - name: Build Server shell: bash