diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2015-09-02 12:57:24 +0300 |
---|---|---|
committer | Michal Marek <mmarek@suse.com> | 2015-09-04 11:25:03 +0200 |
commit | 3716001bcb7f5822382ac1f2f54226b87312cc6b (patch) | |
tree | 21ec20a68bf4d6787fc014dc2791c5fb5d19beae /.gitignore | |
parent | 26803821463c4e76322559b3dfb0c6b0fcc8aee8 (diff) |
deb-pkg: add source package
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>
Reviewed-by: maximilian attems <maks@stro.at>
Reviewed-by: Ben Hutchings <ben@decadent.org.uk>
Signed-off-by: Riku Voipio <riku.voipio@linaro.org>
Signed-off-by: Michal Marek <mmarek@suse.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions