Commit 5e498d21 authored by Ansgar Burchardt's avatar Ansgar Burchardt

[!45] catch `make all` failing

Merge branch 'catch-make-failing' into 'master'

See merge request [docker/ci!45]

  [docker/ci!45]: Nonedocker/ci/merge_requests/45
parents bad1d206 550d6085
......@@ -95,18 +95,22 @@ ${DUNECONTROL} --current "${@}" configure
# We also have to pass "-k" to make to have it keep going as much as possible
# This won't work for ninja, which required "-k 0"
set +e
${DUNECONTROL} --current "${@}" make -k ${parallel_opts} all
${DUNECONTROL} --current "${@}" make -k ${parallel_opts} all || build_failed=1
if [[ "${DUNECI_TEST_INSTALL:-0}" != 0 ]] ; then
${DUNECONTROL} --current "${@}" make -k ${parallel_opts} install
export DUNECI_INSTALL_RESULT=${install_result}
${DUNECONTROL} --current "${@}" make -k ${parallel_opts} "${build_test_targets[@]}"
${DUNECONTROL} --current "${@}" make -k ${parallel_opts} "${build_test_targets[@]}" || build_failed=1
# note the extra quoting for select_test_args to protect it from dunecontrol evaling it
if ${DUNECONTROL} --current "${@}" bexec ${DUNE_CTEST} ${parallel_opts} ${select_test_args[@]:+"${select_test_args[@]@Q}"} ; then
if [[ -v install_result && ${install_result} -ne 0 ]] ; then
echo "Error: The installation test failed"
exit 1
elif [[ -n "${build_failed}" ]]; then
echo >&2 "ERROR: Build failed"
exit 1
exit 0
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment