Fix make_ctags for exhuberant tags.

diff --git a/src/tools/make_ctags b/src/tools/make_ctags
index 0999f12590dafa7da7093b074d10c8a18d6a01cc..ac7134f3d81446e2180ab6b5a8dae72e85243fe0 100755 (executable)
--- 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 \