Check config.log for ASAN errors

./configure checks might produce a false negative error due to ASAN
errors and thus disable some options.

(cherry picked from commit 0db934d401790f73e5db233997c1a994d8584b82)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f9a9658b0f05885790358605954da01426641839..e9596fcf6c7647f410bb1542de572aab5a5ebf83 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -243,6 +243,7 @@ stages:
     - make -j${BUILD_PARALLEL_JOBS:-1} -k all V=1
     - test -z "${RUN_MAKE_INSTALL}" || make install
     - test -z "${RUN_MAKE_INSTALL}" || sh util/check-make-install
+    - if [[ "${CFLAGS}" == *"-fsanitize=address"* ]]; then ( ! grep -F AddressSanitizer config.log ); fi
   needs:
     - job: autoreconf
       artifacts: true