diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/pginclude/headerscheck | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pginclude/headerscheck b/src/tools/pginclude/headerscheck index 30afa967305..17138a7569e 100755 --- a/src/tools/pginclude/headerscheck +++ b/src/tools/pginclude/headerscheck @@ -98,7 +98,7 @@ do # Additional Windows-specific headers. test "$f" = src/include/port/win32_port.h && continue test "$f" = src/include/port/win32/netdb.h && continue - $cplusplus && test "$f" = src/include/port/win32/sys/resource.h && continue + test "$f" = src/include/port/win32/sys/resource.h && continue test "$f" = src/include/port/win32/sys/socket.h && continue test "$f" = src/include/port/win32_msvc/dirent.h && continue test "$f" = src/include/port/win32_msvc/utime.h && continue |