From 3c580b8d979a94ea0e41578c7ac1d4625d242853 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Mon, 15 Jul 2002 14:45:51 +0000
Subject: [PATCH] Fix make_ctags for exhuberant tags.

---
 src/tools/make_ctags | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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 \