diff --git a/scripts/tags.sh b/scripts/tags.sh index d23dcbf17457c2c16cf56c73a1ffb3d07e03a257..78e546ff689c2d5f40b445faff895e02a6092d3d 100755 --- a/scripts/tags.sh +++ b/scripts/tags.sh @@ -77,7 +77,7 @@ find_include_sources() find_other_sources() { find ${tree}* $ignore \ - \( -name include -o -name arch -o -name '.tmp_*' \) -prune -o \ + \( -path ${tree}include -o -path ${tree}arch -o -name '.tmp_*' \) -prune -o \ -name "$1" -not -type l -print; }