Force use of -ffreestanding when checking for gnumach headers
commit8b8c768e3c701ed1993789bb46acb8a12c7a93df
authorFlavio Cruz <flaviocruz@gmail.com>
Mon, 19 Dec 2022 00:46:15 +0000 (18 19:46 -0500)
committerSamuel Thibault <samuel.thibault@ens-lyon.org>
Mon, 19 Dec 2022 00:49:30 +0000 (19 01:49 +0100)
tree3b97ed037df898e99ec59a0e3ac482c9aa53cdb7
parent71e408e45dcacf429a94b2807f75aaadd8d37cb9
Force use of -ffreestanding when checking for gnumach headers

Without this ./configure assumes that we are in a fully hosted
environment, which might not be the case. After this patch, we can rely on
the freestanding header files provided by GCC such as stdint.h.
Message-Id: <Y5+0V9osFc/zXMq0@mars>
sysdeps/mach/configure
sysdeps/mach/configure.ac