CI: use distcheck exclusively for building/testing
make_check_wrapper.sh + make dist
does not replace make distcheck.
make distcheck
is used as single source of truth. To still get stack
traces, move make check
outside of the script and retrieve the exit
code of make distcheck
.
This should catch issues like #27470 (closed) upfront.
Edited by Johannes Kauffmann