[PATCH 1/1] UBUNTU: Copy header files for various kernel media driver

[Ike Panhc]

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 at 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