diff --git a/tests/docker/common.rc b/tests/docker/common.rc index 7951555e3f384a6f37176309d7751a27074a0b80..046f8a59210fd6dcaeffbfec426be49f8eabb8a4 100755 --- a/tests/docker/common.rc +++ b/tests/docker/common.rc @@ -30,7 +30,9 @@ build_qemu() $@" echo "Configure options:" echo $config_opts - $QEMU_SRC/configure $config_opts && make $MAKEFLAGS + $QEMU_SRC/configure $config_opts || \ + { cat config.log && test_fail "Failed to run 'configure'"; } + make $MAKEFLAGS } test_fail()