Message style improvements

[postgresql] / src / backend / utils / misc / check_guc

diff --git a/src/backend/utils/misc/check_guc b/src/backend/utils/misc/check_guc
index 3332e636427bc8479ee206393538d9d0fe1404b1..df597b4879a91b32ba023680ff5494c2f9a021bb 100755 (executable)
--- a/src/backend/utils/misc/check_guc
+++ b/src/backend/utils/misc/check_guc
@@ -18,9 +18,9 @@
 ## can be ignored
 INTENTIONALLY_NOT_INCLUDED="autocommit debug_deadlocks exit_on_error \
 is_superuser lc_collate lc_ctype lc_messages lc_monetary lc_numeric lc_time \
-pre_auth_delay role seed server_encoding server_version session_authorization \
-trace_lock_oidmin trace_lock_table trace_locks trace_lwlocks trace_notify \
-trace_userlocks transaction_isolation transaction_read_only \
+pre_auth_delay role seed server_encoding server_version server_version_int \
+session_authorization trace_lock_oidmin trace_lock_table trace_locks trace_lwlocks \
+trace_notify trace_userlocks transaction_isolation transaction_read_only \
 zero_damaged_pages"
 
 ### What options are listed in postgresql.conf.sample, but don't appear