Re: [PATCH] deb-pkg: Make deb-pkg generate a seperate linux-libc-dev deb

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Fri, Jan 07, 2011 at 03:02:27PM +0100, Michal Marek wrote:
> 
> hdrpackagename and headerpackagename aren't exactly intuitive names.
> What about kernel_headers_package and libc_headers_package?
> 

ack, sent patch on top of that one to fix both and the dir names.

thanks.

-- 
maks
--
To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html


[Index of Archives]     [Linux&nblp;USB Development]     [Linux Media]     [Video for Linux]     [Linux Audio Users]     [Yosemite Secrets]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux