diff --git a/src/tools/pginclude/cpluspluscheck b/src/tools/pginclude/cpluspluscheck index 531fab904c..6f2b8b093d 100755 --- a/src/tools/pginclude/cpluspluscheck +++ b/src/tools/pginclude/cpluspluscheck @@ -74,6 +74,7 @@ do test "$f" = src/include/port/win32_port.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 test "$f" = src/port/pthread-win32.h && continue # Likewise, these files are platform-specific, and the one diff --git a/src/tools/pginclude/headerscheck b/src/tools/pginclude/headerscheck index d652d6b6f9..c163f82b8c 100755 --- a/src/tools/pginclude/headerscheck +++ b/src/tools/pginclude/headerscheck @@ -70,6 +70,7 @@ do test "$f" = src/include/port/win32_port.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 test "$f" = src/port/pthread-win32.h && continue # Likewise, these files are platform-specific, and the one