Fix missing pgdefine detection in pgrminclude.

bmomjian · bmomjian · commit 8b0f0822fd51 · 2011-08-26T18:21:32.000-04:00
diff --git 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
 

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,10 @@`
`1`	`1`	`:`
`2`	`2`	`# remove extra #include's`
`3`	`3`
`4`		`-pgdefine \|\| (echo "pgdefine must be in your PATH" 1>&2; exit 1)`
	`4`	`+if ! pgdefine`
	`5`	`+then echo "pgdefine must be in your PATH" 1>&2`
	`6`	`+ exit 1`
	`7`	`+fi`
`5`	`8`
`6`	`9`	`# src/tools/pginclude/pgrminclude`
`7`	`10`