diff options
| author | Fathi Boudra <fathi.boudra@linaro.org> | 2014-04-15 14:51:48 +0300 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2014-06-18 21:36:36 +0200 |
| commit | 8bf13561bc7bda0367212c104d81e2ab7369b3c2 (patch) | |
| tree | f50fbc9891e04f244f023dd2bb391fa72f101183 /scripts | |
| parent | a981296f048b99b0d5bb4d87c732a6cfb35a1c66 (diff) | |
| download | op-kernel-dev-8bf13561bc7bda0367212c104d81e2ab7369b3c2.zip op-kernel-dev-8bf13561bc7bda0367212c104d81e2ab7369b3c2.tar.gz | |
builddeb: fix missing headers in linux-headers package
The kernel headers package (linux-headers) doesn't include several
header files required to build out-of-tree modules.
It makes the package unusable on e.g. ARM architecture:
/usr/src/linux-headers-3.14.0/arch/arm/include/asm/memory.h:24:25:
fatal error: mach/memory.h: No such file or directory
#include <mach/memory.h>
^
compilation terminated.
Signed-off-by: Fathi Boudra <fathi.boudra@linaro.org>
Reviewed-by: Ben Hutchings <ben@decadent.org.uk>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/package/builddeb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/package/builddeb b/scripts/package/builddeb index 9a38e85..35d5a58 100644 --- a/scripts/package/builddeb +++ b/scripts/package/builddeb @@ -289,9 +289,11 @@ EOF fi -# Build header package +# Build kernel header package (cd $srctree; find . -name Makefile\* -o -name Kconfig\* -o -name \*.pl) > "$objtree/debian/hdrsrcfiles" (cd $srctree; find arch/$SRCARCH/include include scripts -type f) >> "$objtree/debian/hdrsrcfiles" +(cd $srctree; find arch/$SRCARCH -name module.lds -o -name Kbuild.platforms -o -name Platform) >> "$objtree/debian/hdrsrcfiles" +(cd $srctree; find $(find arch/$SRCARCH -name include -o -name scripts -type d) -type f) >> "$objtree/debian/hdrsrcfiles" (cd $objtree; find arch/$SRCARCH/include Module.symvers include scripts -type f) >> "$objtree/debian/hdrobjfiles" destdir=$kernel_headers_dir/usr/src/linux-headers-$version mkdir -p "$destdir" |
