diff options
| author | Kees Cook <[email protected]> | 2016-08-15 10:36:22 -0700 |
|---|---|---|
| committer | Michal Marek <[email protected]> | 2016-08-16 10:16:38 +0200 |
| commit | d3e2773c4ede5c62d2a92dae20e3a09b1ca55b6e (patch) | |
| tree | 8bd1f94f4724b7a90564a459b17c22f3149c380d /scripts/gcc-plugins/gcc-common.h | |
| parent | 29b4817d4018df78086157ea3a55c1d9424a7cfc (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 <[email protected]>
Tested-by: Christian Kujau <[email protected]>
Signed-off-by: Kees Cook <[email protected]>
Signed-off-by: Michal Marek <[email protected]>
Diffstat (limited to 'scripts/gcc-plugins/gcc-common.h')
0 files changed, 0 insertions, 0 deletions