diff options
| author | Bruce Momjian <bruce@momjian.us> | 2011-08-26 18:21:32 -0400 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2011-08-26 18:21:32 -0400 |
| commit | 8b0f0822fd5111118a7d147344ee1253acb601f2 (patch) | |
| tree | 483c0ecb7b3832a845996071f6794d0a6a6bad1e /src | |
| parent | f8e41abd8a11d562c3ed97427d6dec9b383f628a (diff) | |
| download | postgresql-8b0f0822fd5111118a7d147344ee1253acb601f2.tar.gz postgresql-8b0f0822fd5111118a7d147344ee1253acb601f2.zip | |
Fix missing pgdefine detection in pgrminclude.
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 |