diff options
| author | Konstantin Khlebnikov <koct9i@gmail.com> | 2014-04-21 12:03:08 +0400 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2014-04-24 15:16:57 +0200 |
| commit | 8c38a5328af8080bc69a25b3e4e144b03eeea95e (patch) | |
| tree | b518038f7fefc56f1fca3c119bdf6411546e2421 /scripts/tags.sh | |
| parent | 3005286ee366dac5b75b8f17d4072f433ccbfa4a (diff) | |
scripts/tags.sh: ignore code of user space tools
User space code in tools/ often reuses names of kernel constructions,
this confuses navigation in the normal kernel code. Let's fix this mess.
Signed-off-by: Konstantin Khlebnikov <koct9i@gmail.com>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'scripts/tags.sh')
| -rwxr-xr-x | scripts/tags.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/tags.sh b/scripts/tags.sh index c1f64893efe9..6db551e07498 100755 --- a/scripts/tags.sh +++ b/scripts/tags.sh @@ -25,6 +25,9 @@ else tree=${srctree}/ fi +# ignore userspace tools +ignore="$ignore ( -path ${tree}tools ) -prune -o" + # Find all available archs find_all_archs() { |