diff options
-rwxr-xr-x | tools/ci-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci-build.sh b/tools/ci-build.sh index 4e5d48d7..c0d331f1 100755 --- 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 |