3 # check that all major header files can be #include'd
4 # singly with various combinations of _KERNEL, _KERNEL_STRUCTURES, and
7 # The goal is that the only error reported should be a specific #error
8 # indicating that particular support is not available.
11 set files = ( sys/*.h vm/*.h net*/*.h ddb/*.h i386/include/*.h )
16 awk -f /usr/src/sys/tools/makeobjops.awk -- -h /usr/src/sys/kern/device_if.m
17 awk -f /usr/src/sys/tools/makeobjops.awk -- -h /usr/src/sys/kern/bus_if.m
18 awk -f /usr/src/sys/tools/makeobjops.awk -- -h /usr/src/sys/dev/netif/mii_layer/miibus_if.m
19 awk -f /usr/src/sys/tools/makeobjops.awk -- -h /usr/src/sys/bus/ppbus/ppbus_if.m
20 awk -f /usr/src/sys/tools/makeobjops.awk -- -h /usr/src/sys/bus/pccard/card_if.m
21 awk -f /usr/src/sys/tools/makeobjops.awk -- -h /usr/src/sys/bus/pccard/power_if.m
22 awk -f /usr/src/sys/tools/makeobjops.awk -- -h /usr/src/sys/dev/agp/agp_if.m
23 awk -f /usr/src/sys/tools/makeobjops.awk -- -h /usr/src/sys/bus/pci/pci_if.m
24 awk -f /usr/src/sys/tools/makeobjops.awk -- -h /usr/src/sys/bus/pci/pcib_if.m
25 awk -f /usr/src/sys/tools/makeobjops.awk -- -h /usr/src/sys/bus/usb/usb_if.m
26 awk -f /usr/src/sys/tools/makeobjops.awk -- -h /usr/src/sys/bus/isa/isa_if.m
31 echo -n > opt_icmp_bandlim.h
32 echo "#define INET 1" > opt_inet.h
34 ln -s /usr/src/sys/arch/i386/include machine
37 if ( "$i" == "sys/sysunion.h" ) then
41 cat > chkincl.c << EOF
44 echo "TRY $i (_KERNEL)"
45 cc -D_KERNEL -DKLD_MODULE -fno-builtin -I/usr/src/sys -I. -Wall -Wstrict-prototypes -c chkincl.c -o chkincl.o
48 if ( "$i" == "sys/sysunion.h" ) then
52 cat > chkincl.c << EOF
55 echo "TRY $i (_KERNEL_STRUCTURES)"
56 cc -D_KERNEL_STRUCTURES -fno-builtin -I/usr/src/sys -I. -Wall -Wstrict-prototypes -c chkincl.c -o chkincl.o
60 if ( "$i" == "sys/sysunion.h" ) then
64 cat > chkincl.c << EOF
68 cc -fno-builtin -I/usr/src/sys -I. -Wall -Wstrict-prototypes -c chkincl.c -o chkincl.o