diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/make_ctags | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/tools/make_ctags b/src/tools/make_ctags index aa1fb33a030..0999f12590d 100755 --- a/src/tools/make_ctags +++ b/src/tools/make_ctags @@ -1,8 +1,14 @@ #!/bin/sh trap "rm -f /tmp/$$" 0 1 2 3 15 rm -f ./tags + +if [ "`ctags --version 2>&1 | grep Exuberant`" != "Exuberant" ] +then FLAGS="-dt" +else FLAGS="--c-types=+dfmstuv" +fi + find `pwd`/ \( -name _deadcode -a -prune \) -o \ - -type f -name '*.[chyl]' -print|xargs ctags -d -t -a -f tags + -type f -name '*.[chyl]' -print|xargs ctags "$FLAGS" -a -f tags sort tags >/tmp/$$ && mv /tmp/$$ tags |