rebootstrap gnumach on !x86

[Samuel Thibault <sthibault@debian.org>]

Hello,

For building gnumach on !x86 build-arch, one needs to use the nocheck
profile, as the attached patch does, also available in my tree

git@salsa.debian.org:sthibault/rebootstrap.git

as b38a9a090505b5977f647d3c165b50a840e5ade2

Samuel

commit b38a9a090505b5977f647d3c165b50a840e5ade2
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sat Sep 7 15:55:06 2024 +0200

    Add nocheck profile to gnumach stage1
    
    gnumach added some <!nocheck> dependencies which are not available on
    all build archs.

diff --git a/bootstrap.sh b/bootstrap.sh
index 49c4520..5bddbba 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -3205,8 +3205,8 @@ if test -f "$REPODIR/stamps/gnumach_1"; then
 	echo "skipping rebuild of gnumach stage1"
 else
 	cross_build_setup gnumach gnumach_1
-	apt_get_build_dep "-a$HOST_ARCH" --arch-only -Pstage1 ./
-	drop_privs dpkg-buildpackage -B "-a$HOST_ARCH" -Pstage1 -uc -us
+	apt_get_build_dep "-a$HOST_ARCH" --arch-only -Pstage1,nocheck ./
+	drop_privs dpkg-buildpackage -B "-a$HOST_ARCH" -Pstage1,nocheck -uc -us
 	cd ..
 	pickup_packages ./*.deb
 	touch "$REPODIR/stamps/gnumach_1"