diff options
| author | Bruce Momjian | 2006-07-10 17:11:43 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2006-07-10 17:11:43 +0000 |
| commit | 7a0c2241d793520f4d196034af1f5b787884a310 (patch) | |
| tree | f84cc5b2839a52a70e2e1a551d1a898c5b26ae26 | |
| parent | 929e45012c2a121b324d46e567da91b1ff620a96 (diff) | |
Add $CFLAGS handling to pgcompinclude.
| -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 c85a581e49..90c2d82b2e 100755 --- a/src/tools/pginclude/pgcompinclude +++ b/src/tools/pginclude/pgcompinclude @@ -13,7 +13,7 @@ do echo "void include_test() {" >>/tmp/$$.c pgdefine "$FILE" >>/tmp/$$.c echo "}" >>/tmp/$$.c - cc -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 -c /tmp/$$.c -o /tmp/$$.o >/tmp/$$ 2>&1 if [ "$?" -ne 0 ] then echo "$FILE" if [ "$1" = "-v" ] |