diff options
| -rwxr-xr-x | src/tools/pginclude/headerscheck | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/pginclude/headerscheck b/src/tools/pginclude/headerscheck index 2a88bd9f00e..158c99d6afc 100755 --- a/src/tools/pginclude/headerscheck +++ b/src/tools/pginclude/headerscheck @@ -155,6 +155,8 @@ do EXTRAINCLUDES="$python_includespec" ;; src/interfaces/ecpg/*) EXTRAINCLUDES="-I $builddir/src/interfaces/ecpg/include -I $srcdir/src/interfaces/ecpg/include" ;; + src/backend/utils/adt/*) + EXTRAINCLUDES="-I $builddir/src/backend/utils/adt/" ;; *) EXTRAINCLUDES="" ;; esac |