Add GNU Make --shuffle option

GNU Make 4.4 introduced the --shuffle option to randomize the order of
goal targets and prerequisites. This helps detect hidden dependencies
and improve build robustness by exposing order-related issues during
parallel builds.

See:

    https://trofi.github.io/posts/238-new-make-shuffle-mode.html
    https://www.gnu.org/software/make/manual/html_node/Options-Summary.html#index-_002d_002dshuffle

(cherry picked from commit 2fd72f10d2)
This commit is contained in:
Michal Nowak 2025-05-14 11:34:06 +02:00
parent 7ee960ef38
commit e6ee1ea75f
No known key found for this signature in database

View file

@ -993,6 +993,7 @@ gcc:sid:amd64:
CC: gcc
CFLAGS: "${CFLAGS_COMMON} -O3"
EXTRA_CONFIGURE: "--with-libidn2 --without-lmdb ${WITH_READLINE}"
GNUMAKEFLAGS: "--shuffle=reverse"
RUN_MAKE_INSTALL: 1
<<: *debian_sid_amd64_image
<<: *build_job
@ -1097,6 +1098,7 @@ gcc:tumbleweed:amd64:
# Doing that requires a DNSRPS provider library to be present on the
# test host.
EXTRA_CONFIGURE: "--enable-dnsrps --enable-dnsrps-dl --with-libidn2 ${WITH_READLINE_READLINE}"
GNUMAKEFLAGS: "--shuffle=random"
<<: *tumbleweed_latest_amd64_image
<<: *build_job