diff options
| author | Bruce Momjian <bruce@momjian.us> | 2002-07-15 14:45:51 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2002-07-15 14:45:51 +0000 |
| commit | 3c580b8d979a94ea0e41578c7ac1d4625d242853 (patch) | |
| tree | e36eca1dadb23787687719ac51723014ce963252 /src | |
| parent | 5fad748eb80d0409ac0608b6cd049105c6aec4aa (diff) | |
Fix make_ctags for exhuberant tags.
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/make_ctags | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tools/make_ctags b/src/tools/make_ctags index 0999f12590d..ac7134f3d81 100755 --- a/src/tools/make_ctags +++ b/src/tools/make_ctags @@ -2,9 +2,9 @@ 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" +if ctags --version 2>&1 | grep Exuberant >/dev/null +then FLAGS="--c-types=+dfmstuv" +else FLAGS="-dt" fi find `pwd`/ \( -name _deadcode -a -prune \) -o \ |