diff options
| author | Bruce Momjian | 2006-07-13 18:25:09 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2006-07-13 18:25:09 +0000 |
| commit | a1cf6a7df5423168821136e8237f3b1296f9db58 (patch) | |
| tree | ca0644a1d20995bb926db2ee460414d5653afbde | |
| parent | 1a46ab8e6ac8696dd6f0bfaac2ad6d7cbab23428 (diff) | |
Skip stripping postgres_fe.h include file.
| -rwxr-xr-x | src/tools/pginclude/pgrminclude | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/pginclude/pgrminclude b/src/tools/pginclude/pgrminclude index 86f4d3f966..274f4b0ea8 100755 --- a/src/tools/pginclude/pgrminclude +++ b/src/tools/pginclude/pgrminclude @@ -26,6 +26,7 @@ do [ -s /usr/include/$INCLUDE ] && continue [ "$INCLUDE" = postgres.h ] && continue + [ "$INCLUDE" = postgres_fe.h ] && continue [ "$INCLUDE" = config.h ] && continue [ "$INCLUDE" = c.h ] && continue |