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

[Michal Marek <mmarek@suse.cz>]

On Wed, Sep 02, 2015 at 09:27:10AM -0700, maximilian attems wrote:
> On Wed, Sep 02, 2015 at 02:50:10PM +0100, Ben Hutchings wrote:
> > On Wed, 2015-09-02 at 12:57 +0300, 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>
> > 
> > Reviewed-by: Ben Hutchings <ben@decadent.org.uk>
> Reviewed-by: maximilian attems <maks@stro.at>

Applied to kbuild.git#misc.

Michal