From 8b0f0822fd5111118a7d147344ee1253acb601f2 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Fri, 26 Aug 2011 18:21:32 -0400
Subject: [PATCH] Fix missing pgdefine detection in pgrminclude.

---
 src/tools/pginclude/pgrminclude | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/tools/pginclude/pgrminclude b/src/tools/pginclude/pgrminclude
index 5890c50a1a3..aef57060c0e 100755
--- a/src/tools/pginclude/pgrminclude
+++ b/src/tools/pginclude/pgrminclude
@@ -1,7 +1,10 @@
 :
 # remove extra #include's
 
-pgdefine || (echo "pgdefine must be in your PATH" 1>&2; exit 1)
+if ! pgdefine
+then	echo "pgdefine must be in your PATH" 1>&2
+	exit 1
+fi
 
 # src/tools/pginclude/pgrminclude
 
-- 
GitLab