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 454edd682650281143e7012f4255edfde521ec7e..3bed9eb40b9640ad5d60d179761d51741dd36eab 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; }