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

Stefan Bader stefan.bader at canonical.com
Wed Mar 25 09:27:50 UTC 2009


Ike Panhc wrote:
> 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)
Looks good to me, ACK

-- 

When all other means of communication fail, try words!






More information about the kernel-team mailing list