diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2009-01-14 21:28:32 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2009-01-14 21:28:32 +0000 |
| commit | c82b63a54fefea7906bbe6f74a18ca29b6b4e361 (patch) | |
| tree | b830b05cc2fa12a80673f592264eca86a2ea3b3f /src | |
| parent | 1327a0bc067b9bc73b4e258cf0d6472416a34fcd (diff) | |
Avoid version-control system directories when creating TAGS. Besides
being wasteful, this can collide with repostory metadata on case-insensitive
file sytems.
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/make_etags | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/make_etags b/src/tools/make_etags index 94cfebc459f..612c97f1e94 100755 --- a/src/tools/make_etags +++ b/src/tools/make_etags @@ -1,12 +1,12 @@ #!/bin/sh -# $PostgreSQL: pgsql/src/tools/make_etags,v 1.4 2009/01/13 19:32:29 petere Exp $ +# $PostgreSQL: pgsql/src/tools/make_etags,v 1.5 2009/01/14 21:28:32 petere Exp $ rm -f ./TAGS find `pwd`/ -type f -name '*.[chyl]' -print | \ xargs etags --append -o TAGS -find . -type d -print | \ +find . -type d \( -name CVS -o -name .git -prune -o -print \) | \ while read DIR; do [ "$DIR" != "." ] && ln -f -s `pwd`/TAGS $DIR done |