diff options
-rwxr-xr-x | scripts/tags.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/scripts/tags.sh b/scripts/tags.sh index 1c50de820289..4c425d25173c 100755 --- a/scripts/tags.sh +++ b/scripts/tags.sh | |||
@@ -50,7 +50,8 @@ find_arch_sources() | |||
50 | for i in $archincludedir; do | 50 | for i in $archincludedir; do |
51 | prune="$prune -wholename $i -prune -o" | 51 | prune="$prune -wholename $i -prune -o" |
52 | done | 52 | done |
53 | find ${tree}arch/$1 $ignore $subarchprune $prune -name "$2" -print; | 53 | find ${tree}arch/$1 $ignore $subarchprune $prune -name "$2" \ |
54 | -not -type l -print; | ||
54 | } | 55 | } |
55 | 56 | ||
56 | # find sources in arch/$1/include | 57 | # find sources in arch/$1/include |
@@ -60,14 +61,15 @@ find_arch_include_sources() | |||
60 | -name include -type d -print); | 61 | -name include -type d -print); |
61 | if [ -n "$include" ]; then | 62 | if [ -n "$include" ]; then |
62 | archincludedir="$archincludedir $include" | 63 | archincludedir="$archincludedir $include" |
63 | find $include $ignore -name "$2" -print; | 64 | find $include $ignore -name "$2" -not -type l -print; |
64 | fi | 65 | fi |
65 | } | 66 | } |
66 | 67 | ||
67 | # find sources in include/ | 68 | # find sources in include/ |
68 | find_include_sources() | 69 | find_include_sources() |
69 | { | 70 | { |
70 | find ${tree}include $ignore -name config -prune -o -name "$1" -print; | 71 | find ${tree}include $ignore -name config -prune -o -name "$1" \ |
72 | -not -type l -print; | ||
71 | } | 73 | } |
72 | 74 | ||
73 | # find sources in rest of tree | 75 | # find sources in rest of tree |
@@ -76,7 +78,7 @@ find_other_sources() | |||
76 | { | 78 | { |
77 | find ${tree}* $ignore \ | 79 | find ${tree}* $ignore \ |
78 | \( -name include -o -name arch -o -name '.tmp_*' \) -prune -o \ | 80 | \( -name include -o -name arch -o -name '.tmp_*' \) -prune -o \ |
79 | -name "$1" -print; | 81 | -name "$1" -not -type l -print; |
80 | } | 82 | } |
81 | 83 | ||
82 | find_sources() | 84 | find_sources() |