commit: b56dca2db3725933e22927c1cb18a97828f1174b
parent 36b45aeda06754b7711c39febd316dd8de0ff51f
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date: Sun, 14 Apr 2024 02:51:16 +0200
configure: Fix check_header compatibility with cproc
Diffstat:
1 file changed, 7 insertions(+), 4 deletions(-)
diff --git a/configure b/configure
@@ -92,11 +92,12 @@ check_cmd() {
check_header() {
header="$1"
- printf 'Checking <%s> header ...' "$header"
+ set -- $CC -E -x c -
+
+ printf 'Checking <%s> header (printf "#include <%s>" | %s) ...' "$header" "$header" "$*"
+
+ printf '#include <%s>\n' "$header" | $@ >/dev/null
- $CC -E - >/dev/null 2>/dev/null <<-EOF
- #include <$header>
- EOF
is_ok
}
@@ -110,6 +111,8 @@ check_conftest() {
is_ok
}
+set -o pipefail
+
## User configuration
# defaults