projects / platform / kernel / linux-rpi3.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29b4817) | patch
builddeb: Skip gcc-plugins when not configured
authorKees Cook <keescook@chromium.org>
Mon, 15 Aug 2016 17:36:22 +0000 (10:36 -0700)
committerMichal Marek <mmarek@suse.com>
Tue, 16 Aug 2016 08:16:38 +0000 (10:16 +0200)
commitd3e2773c4ede5c62d2a92dae20e3a09b1ca55b6e
tree8bd1f94f4724b7a90564a459b17c22f3149c380dtree | snapshot
parent29b4817d4018df78086157ea3a55c1d9424a7cfccommit | diff
builddeb: Skip gcc-plugins when not configured

When attempting to build a Debian kernel package, the "scripts/gcc-plugins"
directory does not exist in the output tree unless CONFIG_GCC_PLUGINS=y.
To avoid errors when not defined, this wraps the failing "find" in a config
test.

Reported-by: Frank Paulsen <frobnic+lkml@gmail.com>
Tested-by: Christian Kujau <lists@nerdbynature.de>
Signed-off-by: Kees Cook <keescook@chromium.org>
Signed-off-by: Michal Marek <mmarek@suse.com>
scripts/package/builddeb diff | blob | history
Domain: System / Kernel; Licenses: GPL-2.0;