diff --git a/.ci/compile.sh b/.ci/compile.sh index 5b4547a82..a45ff338d 100755 --- a/.ci/compile.sh +++ b/.ci/compile.sh @@ -258,6 +258,27 @@ if [[ $USE_CCACHE ]]; then echo "::endgroup::" fi +if [[ $RUNNER_OS == Windows ]]; then + echo "::group::Debug tools" + echo "where ccache" + where ccache + ccache --version + echo "where ninja" + where ninja + ninja --version + echo "NUMBER_OF_PROCESSORS=$NUMBER_OF_PROCESSORS" + echo "where cl" + where cl + cl + echo "where link" + where link + link --version || link + echo "where rc" + where rc + rc + echo "::endgroup::" +fi + echo "::group::Configure cmake" cmake --version echo "Running cmake with flags: ${flags[*]}" @@ -266,7 +287,7 @@ echo "::endgroup::" echo "::group::Build project" echo "Running cmake --build with flags: ${buildflags[*]}" -cmake --build . "${buildflags[@]}" +cmake --build . "${buildflags[@]}" --verbose echo "::endgroup::" if [[ $USE_CCACHE ]]; then