diff --git a/scripts/tags.sh b/scripts/tags.sh index c1f64893efe98a9aeff4eac0419a8c21851036d4..6db551e07498b62c0f8a746c5868ff342d1da845 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() {