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

[Michal Marek <mmarek@suse.cz>]

On 2015-06-11 10:11, riku.voipio@linaro.org wrote:
> From: Riku Voipio <riku.voipio@linaro.org>
> 
> 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@canonical.com>
> Cc: maximilian attems <maks@stro.at>
> Cc: Ben Hutchings <ben@decadent.org.uk>
> Signed-off-by: Riku Voipio <riku.voipio@linaro.org>
> ---
> 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