On 2015-06-11 10:11, [email protected] wrote: > From: Riku Voipio <[email protected]> > > 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 <[email protected]> > Cc: maximilian attems <[email protected]> > Cc: Ben Hutchings <[email protected]> > Signed-off-by: Riku Voipio <[email protected]> > --- > 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
