diff options
Diffstat (limited to 'scripts')
-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 | { |