diff options
| author |   Michal Marek <mmarek@suse.com> | 2015-10-15 15:12:51 +0200 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.com> | 2016-01-05 22:11:48 +0100 |
| commit | a1ccdb63b5535dc3446b0a9efc6d97aca82c72ef (patch) | |
| tree | 02e6f8c71333eb45f47d10c7c815001f6e2b34e3 /scripts/Makefile.headersinst | |
| parent | tags: Do not try to index defconfigs (diff) | |
| download | linux-dev-a1ccdb63b5535dc3446b0a9efc6d97aca82c72ef.tar.xz linux-dev-a1ccdb63b5535dc3446b0a9efc6d97aca82c72ef.zip | |
tags: Drop the _PE rule
We are not indexing the userspace tools, so the rules only match some
false positives in the kernel code.
Signed-off-by: Michal Marek <mmarek@suse.com>
Diffstat (limited to 'scripts/Makefile.headersinst')
0 files changed, 0 insertions, 0 deletions