diff options
author | Bruce Momjian | 2000-02-10 18:34:26 +0000 |
---|---|---|
committer | Bruce Momjian | 2000-02-10 18:34:26 +0000 |
commit | ecef31ca61c4d956c95c542ed0482d2478e0d1b5 (patch) | |
tree | 597f70f9a1e89bcc2bdd3ae968c88fcdb527c21b | |
parent | 5d93742b8df731c843037f40dd5f818fa886eb50 (diff) |
Prevent tags files in cvs directory.
-rwxr-xr-x | src/tools/make_ctags | 2 |
1 files changed, 1 insertions, 1 deletions
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 |