From 7368dbe6c674a108beec2d4022ae5df026d57c2d Mon Sep 17 00:00:00 2001 From: Luca Boccassi Date: Fri, 18 Jan 2019 20:59:11 +0000 Subject: [PATCH] Document pkg.linux.nosource in debian/README.source. --- debian/README.source | 1 + debian/changelog | 1 + 2 files changed, 2 insertions(+) diff --git a/debian/README.source b/debian/README.source index 338c71397..a4aa18520 100644 --- a/debian/README.source +++ b/debian/README.source @@ -238,6 +238,7 @@ Several build profiles are understood and supported: - pkg.linux.notools: Exclude userland tool packages (linux-kbuild-, linux-perf-, etc.) - pkg.linux.nokernel: Exclude kernel image and header packages +- pkg.linux.nosource: Exclude source binary package (linux-source-) - cross: Needed when cross-building. Currently this must be used together with nopython as the build-dependencies will be unsatisfiable otherwise. - nopython: Disable Python bindings. This currently disables building the diff --git a/debian/changelog b/debian/changelog index 6d2215edb..d527611b8 100644 --- a/debian/changelog +++ b/debian/changelog @@ -3,6 +3,7 @@ linux (4.19.16-2) UNRELEASED; urgency=medium * Do not generate linux-source-$ver stanza in debian/control if source is set to disabled in debian/config/defines. * linux-perf: explicitly disable the jvmti feature and shared library. + * Document pkg.linux.nosource in debian/README.source. -- Luca Boccassi Fri, 18 Jan 2019 19:09:06 +0000