diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/tags.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/tags.sh b/scripts/tags.sh index 262889046703..45e246595d10 100755 --- a/scripts/tags.sh +++ b/scripts/tags.sh @@ -106,6 +106,7 @@ all_compiled_sources() case "$i" in *.[cS]) j=${i/\.[cS]/\.o} + j="${j#$tree}" if [ -e $j ]; then echo $i fi |