1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-28 23:42:10 +03:00

Fix missing pgdefine detection in pgrminclude.

This commit is contained in:
Bruce Momjian
2011-08-26 18:21:32 -04:00
parent f8e41abd8a
commit 8b0f0822fd

View File

@ -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