From 3baae80061b280e7592f06dd1fcf1a7eba3df128 Mon Sep 17 00:00:00 2001
From: Sergey Kosukhin <sergey.kosukhin@mpimet.mpg.de>
Date: Wed, 24 Nov 2021 11:47:36 +0100
Subject: [PATCH] Update CI scripts for Intel on Mistral: check whether the
 configure script removes '.libs' directory.

---
 .ci/bb/mistral-dkrz/test.all.intel-17.0.6 | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.ci/bb/mistral-dkrz/test.all.intel-17.0.6 b/.ci/bb/mistral-dkrz/test.all.intel-17.0.6
index 454edd682..3bed9eb40 100755
--- a/.ci/bb/mistral-dkrz/test.all.intel-17.0.6
+++ b/.ci/bb/mistral-dkrz/test.all.intel-17.0.6
@@ -28,6 +28,9 @@ FC="${MPIFC}" \
 MPI_LAUNCH="${MPI_LAUNCH}" \
 PKG_CONFIG_PATH="${YAXT_ROOT}/lib/pkgconfig:${PPM_ROOT}/lib/pkgconfig"
 
+# Check whether the configure script removed the '.libs' directory:
+test -e .libs && echo "ERROR: the configure script did not remove directory '.libs'" && exit 1
+
 make -j8
 
 make -j8 check || { cat tests/test-suite.log; exit 1; }
-- 
GitLab