From 3f5d4b2ba67867e2f369daf2f1faf7ce000c4fef Mon Sep 17 00:00:00 2001
From: Steffen Vogel <post@steffenvogel.de>
Date: Sun, 31 Mar 2019 22:36:41 +0200
Subject: [PATCH] ci: another attempt to debug CI-only segfaults

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 64a1d8eb2..a1f0509e9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -20,6 +20,7 @@ stages:
 # For some reason, GitLab CI prunes the contents of the submodules so we need to restore them.
 before_script:
   - git submodule foreach git checkout .
+  - export LD_PRELOAD=/usr/lib64/libSegFault.so
 
 # Stage: prepare
 ##############################################################################
@@ -120,7 +121,6 @@ test:integration:
     when: always
     paths:
       - build/tests/integration/
-      - etc/core
   image: ${DOCKER_IMAGE_DEV}:${DOCKER_TAG}
   tags:
     - docker