diff options
Diffstat (limited to 'src/tools/pginclude/headerscheck')
| -rwxr-xr-x | src/tools/pginclude/headerscheck | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/tools/pginclude/headerscheck b/src/tools/pginclude/headerscheck index 84b892b5c51..0e2d7f537ef 100755 --- a/src/tools/pginclude/headerscheck +++ b/src/tools/pginclude/headerscheck @@ -57,7 +57,6 @@ do # These files are platform-specific, and c.h will include the # one that's relevant for our current platform anyway. - test "$f" = src/include/port/aix.h && continue test "$f" = src/include/port/cygwin.h && continue test "$f" = src/include/port/darwin.h && continue test "$f" = src/include/port/freebsd.h && continue |