Add $CFLAGS handling to pgcompinclude.

diff --git a/src/tools/pginclude/pgcompinclude b/src/tools/pginclude/pgcompinclude
index c85a581e498aeda80ea7a4ae9cb1ddc129aee2a3..90c2d82b2e47d8c7a0dfacbb9d529fd5e0074bf8 100755 (executable)
--- 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" ]