diff options
| author | Bruce Momjian | 2006-07-11 02:01:24 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2006-07-11 02:01:24 +0000 |
| commit | 7e02b707880b60f9efea68d600b9dde5fa97cee3 (patch) | |
| tree | db67c7355a0630429dd257c99d9af1250a03acc4 | |
| parent | 664c1994c2bb9be83b7a2873f58b2da720340ae7 (diff) | |
Add libpq include directory to script.
| -rwxr-xr-x | src/tools/pginclude/pgcompinclude | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pginclude/pgcompinclude b/src/tools/pginclude/pgcompinclude index b77eeb6557..eb3e44d90c 100755 --- a/src/tools/pginclude/pgcompinclude +++ b/src/tools/pginclude/pgcompinclude @@ -14,7 +14,7 @@ do pgdefine "$FILE" >>/tmp/$$.c echo "}" >>/tmp/$$.c cc $CFLAGS -fsyntax-only -Werror -Wall -Wmissing-prototypes -Wmissing-declarations \ - -I/pg/include -I/pg/backend -I`dirname $FILE` -c /tmp/$$.c -o /tmp/$$.o >/tmp/$$ 2>&1 + -I/pg/include -I/pg/backend -I/pg/interfaces/libpq -I`dirname $FILE` -c /tmp/$$.c -o /tmp/$$.o >/tmp/$$ 2>&1 if [ "$?" -ne 0 ] then echo "$FILE" if [ "$1" = "-v" ] |