[PATCH] MAKEALL: print --shuffle seed used for initial make *_defconfig

[Ahmad Fatoum]

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 <a.fatoum at pengutronix.de>
---
 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