3 # Jailhouse, a Linux-based partitioning hypervisor
5 # Copyright (c) Siemens AG, 2014
8 # Jan Kiszka <jan.kiszka@siemens.com>
10 # This work is licensed under the terms of the GNU GPL, version 2. See
11 # the COPYING file in the top-level directory.
14 if [ "$ARCH" == "" ]; then
18 CFLAGS="-fno-builtin-ffsl -Wall -Wstrict-prototypes -Wtype-limits \
19 -Wmissing-declarations -Wmissing-prototypes \
20 -Ihypervisor/arch/$ARCH/include -Ihypervisor/include \
28 cell-config.h|header.h|hypercall.h)
29 prepend="#include <jailhouse/types.h>"
31 jailhouse_hypercall.h)
32 # only included directly for linker script
33 prepend="#define __ASSEMBLY__
34 #include <jailhouse/types.h>"
38 echo "$prepend" > .header_check.tmp.c
39 echo "#include <$1/$header>" >> .header_check.tmp.c
41 if ! ${CROSS_COMPILE}gcc -c -o .header_check.tmp.o .header_check.tmp.c $CFLAGS; then
47 for header in hypervisor/include/jailhouse/*.h; do
48 test_compile jailhouse $header
51 for header in hypervisor/arch/$ARCH/include/asm/*.h; do
52 test_compile asm $header
55 rm -f .header_check.tmp.[oc]