diff --git a/src/tools/pginclude/pgrminclude b/src/tools/pginclude/pgrminclude index 5890c50a1a3a1e2f06ff7667ff6afa31db134f05..aef57060c0eda561148bd97a60c12a46795bffdd 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