diff options
| author | Tom Lane | 2020-03-02 19:35:22 +0000 |
|---|---|---|
| committer | Tom Lane | 2020-03-02 19:35:22 +0000 |
| commit | 7b425a5283cb2c8a452c2e79d6218e41373fd641 (patch) | |
| tree | cd13cadbbb48a93af3b30f6ca8b455efe6306606 /src/tools/pginclude/cpluspluscheck | |
| parent | 90051cd8278bd089cf59ca6366df64de2982be2a (diff) | |
Blacklist port/win32_msvc/utime.h in cpluspluscheck and headerscheck.
Since commit 481c8e923 it tends to produce "error: sys/utime.h: No such
file or directory" on non-Windows platforms.
Diffstat (limited to 'src/tools/pginclude/cpluspluscheck')
| -rwxr-xr-x | src/tools/pginclude/cpluspluscheck | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/pginclude/cpluspluscheck b/src/tools/pginclude/cpluspluscheck index 531fab904cf..6f2b8b093d3 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 |