Re: [PATCH v3] deb-pkg: add source package

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

 



On 2015-06-11 10:11, riku.voipio@xxxxxxxxxx wrote:
> From: Riku Voipio <riku.voipio@xxxxxxxxxx>
> 
> Make deb-pkg build both source and binary package like make rpm-pkg does.
> For people who only need binary kernel package, there is now bindeb-pkg
> target, same target also used to build the .deb files if built from the
> source package using dpkg-buildpackage.
> 
> Generated source package will build the same kernel .config than what
> was available for make deb-pkg. The name of the source package can
> be set with KDEB_SOURCENAME enviroment variable.
> 
> The source package is useful for gpl compliance, or for feeding to a
> automated debian package builder.
> 
> Cc: Chris J Arges <chris.j.arges@xxxxxxxxxxxxx>
> Cc: maximilian attems <maks@xxxxxxx>
> Cc: Ben Hutchings <ben@xxxxxxxxxxxxxxx>
> Signed-off-by: Riku Voipio <riku.voipio@xxxxxxxxxx>
> ---
> v3,
>  * Allow setting source package name with KDEB_SOURCENAME
>  * Fix issues noted by Ben: drop python and fix target in debian/rules
>  * Merge "ensure $MAKE can use jobserver" oneliner from Chris J Arges

Ben,

are you OK with the v3 of this patch?

Thanks,
Michal
--
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