diff options
author | David Woodhouse <dwmw2@infradead.org> | 2006-10-11 04:21:43 -0400 |
---|---|---|
committer | Linus Torvalds <torvalds@g5.osdl.org> | 2006-10-11 14:14:21 -0400 |
commit | 0f836e5fecf59d0d0353e9af11fd14a32a3001ae (patch) | |
tree | b5ac08451e0a7e0aa1f4c8782fed88cf2f909811 | |
parent | c21be1c9c1ab42fe285a74f184e1acbc37ee084b (diff) |
[PATCH] Add CONFIG_HEADERS_CHECK option to automatically run 'make headers_check'
In order to encourage people to notice when they break the exported
headers, add a config option which automatically runs the sanity checks
when building vmlinux. That way, those who use allyesconfig will notice
failures.
Signed-off-by: David Woodhouse <dwmw2@infradead.org>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
-rw-r--r-- | Makefile | 3 | ||||
-rw-r--r-- | lib/Kconfig.debug | 13 |
2 files changed, 16 insertions, 0 deletions
@@ -741,6 +741,9 @@ endif # ifdef CONFIG_KALLSYMS | |||
741 | 741 | ||
742 | # vmlinux image - including updated kernel symbols | 742 | # vmlinux image - including updated kernel symbols |
743 | vmlinux: $(vmlinux-lds) $(vmlinux-init) $(vmlinux-main) $(kallsyms.o) FORCE | 743 | vmlinux: $(vmlinux-lds) $(vmlinux-init) $(vmlinux-main) $(kallsyms.o) FORCE |
744 | ifdef CONFIG_HEADERS_CHECK | ||
745 | $(Q)$(MAKE) headers_check | ||
746 | endif | ||
744 | $(call if_changed_rule,vmlinux__) | 747 | $(call if_changed_rule,vmlinux__) |
745 | $(Q)$(MAKE) -f $(srctree)/scripts/Makefile.modpost $@ | 748 | $(Q)$(MAKE) -f $(srctree)/scripts/Makefile.modpost $@ |
746 | $(Q)rm -f .old_version | 749 | $(Q)rm -f .old_version |
diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug index 2d7cb0d04fc8..8fd2dbf7eb5b 100644 --- a/lib/Kconfig.debug +++ b/lib/Kconfig.debug | |||
@@ -371,6 +371,19 @@ config FORCED_INLINING | |||
371 | become the default in the future, until then this option is there to | 371 | become the default in the future, until then this option is there to |
372 | test gcc for this. | 372 | test gcc for this. |
373 | 373 | ||
374 | config HEADERS_CHECK | ||
375 | bool "Run 'make headers_check' when building vmlinux" | ||
376 | help | ||
377 | This option will extract the user-visible kernel headers whenever | ||
378 | building the kernel, and will run basic sanity checks on them to | ||
379 | ensure that exported files do not attempt to include files which | ||
380 | were not exported, etc. | ||
381 | |||
382 | If you're making modifications to header files which are | ||
383 | relevant for userspace, say 'Y', and check the headers | ||
384 | exported to $(INSTALL_HDR_PATH) (usually 'usr/include' in | ||
385 | your build tree), to make sure they're suitable. | ||
386 | |||
374 | config RCU_TORTURE_TEST | 387 | config RCU_TORTURE_TEST |
375 | tristate "torture tests for RCU" | 388 | tristate "torture tests for RCU" |
376 | depends on DEBUG_KERNEL | 389 | depends on DEBUG_KERNEL |