diff options
-rwxr-xr-x | src/tools/make_etags | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/tools/make_etags b/src/tools/make_etags index f2db9f17589..94cfebc459f 100755 --- a/src/tools/make_etags +++ b/src/tools/make_etags @@ -1,8 +1,7 @@ #!/bin/sh -# $PostgreSQL: pgsql/src/tools/make_etags,v 1.3 2006/03/11 04:38:41 momjian Exp $ +# $PostgreSQL: pgsql/src/tools/make_etags,v 1.4 2009/01/13 19:32:29 petere Exp $ -trap "rm -f /tmp/$$" 0 1 2 3 15 rm -f ./TAGS find `pwd`/ -type f -name '*.[chyl]' -print | \ xargs etags --append -o TAGS |