[PATCH 3/3] ci: build: shuffle goal and prerequisite ordering

[Ahmad Fatoum]

Now that the container has been newly updated to Debian Trixie, we have
GNU make v4.4.1 available. v4.4 introduced a new --shuffle option
that shuffles goal and prerequisite ordering to hopefully catch issues
around non-deterministic build order in parallel makefiles.

Let's enable this option for all our defconfig builds. When a build
fails, make will also print to stderr a shuffle=<integer> line.

The integer can be passed to --shuffle locally when trying to reproduce
the breakage.

Signed-off-by: Ahmad Fatoum <a.fatoum at pengutronix.de>
---
 .github/workflows/build-defconfigs.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/build-defconfigs.yml b/.github/workflows/build-defconfigs.yml
index c95c56b6ba88..e99dfe595bf0 100644
--- a/.github/workflows/build-defconfigs.yml
+++ b/.github/workflows/build-defconfigs.yml
@@ -39,6 +39,8 @@ jobs:
 
         ./test/generate-dummy-fw.sh
 
+        export GNUMAKEFLAGS=--shuffle
+
         ./MAKEALL -O build-${{matrix.arch}} -l "" -v 0 \
                 -k common/boards/configs/disable_size_check.config \
                 -k common/boards/configs/disable_target_tools.config \
-- 
2.47.2