From 54ce0ec0aecc0aa7e0831b5c0500f533b823fd8f Mon Sep 17 00:00:00 2001
From: amesgen <amesgen@amesgen.de>
Date: Thu, 16 Jul 2020 19:07:26 +0200
Subject: [PATCH] use split sections

---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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