diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/pginclude/pgrminclude | 5 |
1 files changed, 4 insertions, 1 deletions
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 |