ARM64 requires to include ARM headers.
Signed-off-by: Jan Kiszka <[email protected]>
---
scripts/header_check | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/scripts/header_check b/scripts/header_check
index af338ca..6ac54b4 100755
--- a/scripts/header_check
+++ b/scripts/header_check
@@ -15,10 +15,15 @@ if [ "$ARCH" == "" ]; then
ARCH=x86
fi
+INCLUDE_ARM64=
+if [ "$ARCH" == "arm64" ]; then
+ INCLUDE_ARM64=-Ihypervisor/arch/arm/include
+fi
+
CFLAGS="-fno-builtin-ffsl -Wall -Wstrict-prototypes -Wtype-limits \
-Wmissing-declarations -Wmissing-prototypes \
-Ihypervisor/arch/$ARCH/include -Ihypervisor/include \
- $EXTRA_CFLAGS"
+ $INCLUDE_ARM64 $EXTRA_CFLAGS"
test_compile()
{
--
2.1.4
--
You received this message because you are subscribed to the Google Groups
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
