diff options
| author | David Woodhouse <[email protected]> | 2006-06-18 11:58:39 +0100 |
|---|---|---|
| committer | David Woodhouse <[email protected]> | 2006-06-18 11:58:39 +0100 |
| commit | 8d730cfb50cc77da6d00f941daef440918a1922f (patch) | |
| tree | 9679a9ba79e3c496058d351417a058432c42257d /scripts/patch-kernel | |
| parent | 9348f0de2d2b541b4ba64fb1f4efee9710a3d731 (diff) | |
Basic implementation of 'make headers_install'
This adds a make target which exports a subset of headers which contain
definitions which are useful for system libraries and tools. It uses the
BSD 'unifdef' tool to remove instances of #ifdef __KERNEL__, and uses
sed to remove markers like __user.
Based on an original implementation by Arnd Bergmann <[email protected]>
Hacked about by David Woodhouse <[email protected]>
Reviewed and cleaned up by Sam Ravnborg <[email protected]>
Signed-off-by: David Woodhouse <[email protected]>
Diffstat (limited to 'scripts/patch-kernel')
0 files changed, 0 insertions, 0 deletions