Update CI scripts for Intel on Mistral: check whether the configure script...

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

@@ -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; }

.gitignore

@@ -87,10 +87,6 @@ Makefile
 /tests/test_resource_copy
 /tests/test_resource_copy.parallel
 /tests/test_table
-# We do not add the following because that is supposed to be deleted by the
-# configure script and we want to notice if it is not the case:
-#/.libs
-#/a.out
 
 # Documentation stage files:
 /doc/cdi_cman.pdf