diff --git a/scripts/tags.sh b/scripts/tags.sh index cb96961349aafa1095960b0dd8433d1d8736fd3a..be7970b8b88ad14b29d42975d48dc226117bf913 100755 --- a/scripts/tags.sh +++ b/scripts/tags.sh @@ -50,7 +50,7 @@ fi find_arch_sources() { for i in $archincludedir; do - prune="$prune -wholename $i -prune -o" + prune="$prune ( -path $i ) -prune -o" done find ${tree}arch/$1 $ignore $prune -name "$2" -not -type l -print; }