mirror of
https://github.com/isc-projects/bind9.git
synced 2026-06-09 19:19:59 -04:00
[9.18] new: ci: 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
Backport of MR !10460
Merge branch 'backport-mnowak/add-gnu-make-shuffle-options-9.18' into 'bind-9.18'
See merge request isc-projects/bind9!10640
This commit is contained in:
commit
69b1be6076
1 changed files with 2 additions and 0 deletions
|
|
@ -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
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue