mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-12-21 08:29:39 +08:00
Fix make_ctags for exhuberant tags.
This commit is contained in:
parent
5fad748eb8
commit
3c580b8d97
@ -2,9 +2,9 @@
|
|||||||
trap "rm -f /tmp/$$" 0 1 2 3 15
|
trap "rm -f /tmp/$$" 0 1 2 3 15
|
||||||
rm -f ./tags
|
rm -f ./tags
|
||||||
|
|
||||||
if [ "`ctags --version 2>&1 | grep Exuberant`" != "Exuberant" ]
|
if ctags --version 2>&1 | grep Exuberant >/dev/null
|
||||||
then FLAGS="-dt"
|
then FLAGS="--c-types=+dfmstuv"
|
||||||
else FLAGS="--c-types=+dfmstuv"
|
else FLAGS="-dt"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
find `pwd`/ \( -name _deadcode -a -prune \) -o \
|
find `pwd`/ \( -name _deadcode -a -prune \) -o \
|
||||||
|
Loading…
Reference in New Issue
Block a user