diff --git a/src/tools/make_ctags b/src/tools/make_ctags index 646102daef1..aa1fb33a030 100755 --- a/src/tools/make_ctags +++ b/src/tools/make_ctags @@ -6,7 +6,7 @@ find `pwd`/ \( -name _deadcode -a -prune \) -o \ sort tags >/tmp/$$ && mv /tmp/$$ tags -find . -type d -print |while read DIR +find . -name 'CVS' -prune -o -type d -print |while read DIR do [ "$DIR" != "." ] && ln -f -s `pwd`/tags $DIR/tags done