diff options
author | Konstantin Khlebnikov <koct9i@gmail.com> | 2014-04-21 04:03:08 -0400 |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2014-04-24 09:16:57 -0400 |
commit | 8c38a5328af8080bc69a25b3e4e144b03eeea95e (patch) | |
tree | b518038f7fefc56f1fca3c119bdf6411546e2421 | |
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>
-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 | |||
25 | tree=${srctree}/ | 25 | tree=${srctree}/ |
26 | fi | 26 | fi |
27 | 27 | ||
28 | # ignore userspace tools | ||
29 | ignore="$ignore ( -path ${tree}tools ) -prune -o" | ||
30 | |||
28 | # Find all available archs | 31 | # Find all available archs |
29 | find_all_archs() | 32 | find_all_archs() |
30 | { | 33 | { |