diff options
| -rwxr-xr-x | src/tools/pginclude/headerscheck | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/tools/pginclude/headerscheck b/src/tools/pginclude/headerscheck index 436e2b92a33..3fc737d2cc1 100755 --- a/src/tools/pginclude/headerscheck +++ b/src/tools/pginclude/headerscheck @@ -138,6 +138,12 @@ do test "$f" = src/pl/tcl/pltclerrcodes.h && continue # Also not meant to be included standalone. + test "$f" = contrib/isn/EAN13.h && continue + test "$f" = contrib/isn/ISBN.h && continue + test "$f" = contrib/isn/ISMN.h && continue + test "$f" = contrib/isn/ISSN.h && continue + test "$f" = contrib/isn/UPC.h && continue + test "$f" = src/include/common/unicode_nonspacing_table.h && continue test "$f" = src/include/common/unicode_east_asian_fw_table.h && continue |