diff options
| author | Bruce Momjian | 2006-07-10 18:39:32 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2006-07-10 18:39:32 +0000 |
| commit | 43613aad1507e9c531cc7db94c6fb31a613bc4c0 (patch) | |
| tree | cb42ee656a40cfe8fce52546da149a45fc854ee7 | |
| parent | 01a2d35ed6ab69d67a84c3fe1bc5e6aac4827aa2 (diff) | |
Improve compile line for tool.
| -rwxr-xr-x | src/tools/pginclude/pgcompinclude | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/pginclude/pgcompinclude b/src/tools/pginclude/pgcompinclude index 90c2d82b2e..b77eeb6557 100755 --- a/src/tools/pginclude/pgcompinclude +++ b/src/tools/pginclude/pgcompinclude @@ -13,7 +13,8 @@ do echo "void include_test() {" >>/tmp/$$.c pgdefine "$FILE" >>/tmp/$$.c echo "}" >>/tmp/$$.c - cc $CFLAGS -fsyntax-only -Werror -Wall -Wmissing-prototypes -Wmissing-declarations -I/pg/include -I/pg/backend -c /tmp/$$.c -o /tmp/$$.o >/tmp/$$ 2>&1 + 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 if [ "$?" -ne 0 ] then echo "$FILE" if [ "$1" = "-v" ] |