We run make *_defconfig once initially, so that we can get a .config to grep for CONFIG_ARM64 inside. The grepping occasionally[1] fails in CI:
grep: build-arm-multi_v8_defconfig/.config: No such file or directory This might be because of the shuffling of the dependencies, but because make itself doesn't fail, we don't get the shuffle seed in the log. Let's collect it and print it to help track down this issue. [1]: https://github.com/barebox/barebox/actions/runs/18654962634/job/53181695019 Signed-off-by: Ahmad Fatoum <[email protected]> --- MAKEALL | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/MAKEALL b/MAKEALL index d47f0204f1f1..b953da9cccdd 100755 --- a/MAKEALL +++ b/MAKEALL @@ -135,7 +135,11 @@ do_build_defconfig() { [ -n "$logdir" ] && mkdir -p "${logdir}/${defconfig}" MAKE="make -j${JOBS} ARCH=${arch} O=${BUILDDIR}" - ${MAKE} ${defconfig} &>/dev/null + shuffle=$(${MAKE} --debug=basic ${defconfig} 2>&1 | sed -n 's/.*Enabled shuffle mode: //p;T;q') + + if [ -n "$shuffle" ]; then + report "Probing ${arch} ${defconfig} (--shuffle=$shuffle)\n" >&2 + fi if [ ${arch} = "arm" ]; then grep -q "CONFIG_ARM64=y" ${BUILDDIR}/.config -- 2.47.3
