UBUNTU: Copy header files for various kernel media driver
 

Bug: #322732

Copy header files because various kernel media driver need them.
Header files under drivers/media/dvb/frontends/, drivers/media/video/ and
drivers/media/dvb/dvb-core/ copied.

Signed-off-by: Ike Panhc <ike.pan@canonical.com>
---
debian/rules.d/3-binary-indep.mk | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/debian/rules.d/3-binary-indep.mk b/debian/rules.d/3-binary-indep.mk
index a68b791..1ddafe3 100644
--- a/debian/rules.d/3-binary-indep.mk
+++ b/debian/rules.d/3-binary-indep.mk
@@ -35,6 +35,9 @@ install-headers:
( -name 'Makefile*' -o -name 'Kconfig*' -o -name 'Kbuild*' -o
-name '*.sh' -o -name '*.pl' -o -name '*.lds' )
-print | cpio -pd --preserve-modification-time $(indep_hdrdir)
+ cp -a drivers/media/dvb/dvb-core/*.h $(indep_hdrdir)/drivers/media/dvb/dvb-core
+ cp -a drivers/media/video/*.h $(indep_hdrdir)/drivers/media/video
+ cp -a drivers/media/dvb/frontends/*.h $(indep_hdrdir)/drivers/media/dvb/frontends
cp -a scripts include $(indep_hdrdir)

srcpkg = linux-source-$(release)
--
1.5.6.3


--
kernel-team mailing list
kernel-team@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/kernel-team