diff options
Diffstat (limited to 'scripts/headers_install.sh')
| -rwxr-xr-x | scripts/headers_install.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/headers_install.sh b/scripts/headers_install.sh index 94a833597a88..7964f5303a5d 100755 --- a/scripts/headers_install.sh +++ b/scripts/headers_install.sh @@ -94,6 +94,9 @@ include/uapi/linux/eventpoll.h:CONFIG_PM_SLEEP include/uapi/linux/hw_breakpoint.h:CONFIG_HAVE_MIXED_BREAKPOINTS_REGS include/uapi/linux/pktcdvd.h:CONFIG_CDROM_PKTCDVD_WCACHE include/uapi/linux/raw.h:CONFIG_MAX_RAW_DEVS +include/uapi/linux/fmd/Peripherals/fm_port_ioctls.h:CONFIG_COMPAT +include/uapi/linux/fmd/Peripherals/fm_pcd_ioctls.h:CONFIG_COMPAT +include/uapi/linux/fmd/Peripherals/fm_ioctls.h:CONFIG_COMPAT " for c in $configs |