CI: for cmake show the used command lines when compiling and linking

This helps to detect incorrect settings.

diff --git a/tools/ci-build.sh b/tools/ci-build.sh
index 4e5d48d7475e66c95d80571c942a6b8cd3a6198a..c0d331f1aa716ed383557c6d63b03bb89063fb37 100755 (executable)
--- a/tools/ci-build.sh
+++ b/tools/ci-build.sh
@@ -387,7 +387,7 @@ case "$ci_buildsys" in
                 ;;
         esac
 
-        cmake "$@" ..
+        cmake "$@" -DCMAKE_VERBOSE_MAKEFILE=ON ..
 
         ${make}
         # The test coverage for OOM-safety is too verbose to be useful on