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 | { |
