diff --git a/src/tools/make_ctags b/src/tools/make_ctags
index 0999f12590..ac7134f3d8 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 \