diff options
author | Bruce Momjian <bruce@momjian.us> | 1996-10-08 04:09:50 +0000 |
---|---|---|
committer | Bruce Momjian <bruce@momjian.us> | 1996-10-08 04:09:50 +0000 |
commit | dd09982f3ed7daa855e06629794b01f5419d3784 (patch) | |
tree | 1cb45a1bd8baea345fd7aabeebaa17986f292b8f /src | |
parent | dcef39f03b25c06cbe61a45191f5469e28302832 (diff) |
Add execute permission.
Diffstat (limited to 'src')
-rw-r--r-- | src/MAKE_CTAGS | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/MAKE_CTAGS b/src/MAKE_CTAGS new file mode 100644 index 00000000000..ef99564694c --- /dev/null +++ b/src/MAKE_CTAGS @@ -0,0 +1,10 @@ +#!/bin/sh +trap "rm -f /tmp/$$" 0 1 2 3 15 +rm -f ./tags +find `pwd`/ -type f -name '*.[chyl]' -print|xargs ctags -t -a -f tags +sort tags >/tmp/$$ && mv /tmp/$$ tags + +find . -type d -print |while read DIR +do + [ "$DIR" != "." ] && ln -f -s `pwd`/tags $DIR/tags +done |