From a94ee1747e48cd3467ba39c72a76e87fc092cb54 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Fri, 29 Jan 2021 09:34:28 +0100
Subject: [PATCH] chore: maybe magic flag helps with profiled build failures?

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2f7ad0f39..d2e6b5e9a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -155,7 +155,7 @@ yesod:build:profile:
 
   stage: yesod:build
   script:
-    - stack build --profile --copy-bins --local-bin-path $(pwd)/bin --flag uniworx:-library-only --flag uniworx:-dev --flag uniworx:pedantic
+    - stack build --profile --copy-bins --local-bin-path $(pwd)/bin --flag uniworx:-library-only --flag uniworx:-dev --flag uniworx:pedantic --no-strip --ghc-options="-fexternal-interpreter"
   needs:
     - frontend:build
   before_script: *haskell