From cf05113eb0da0b65fdeaf79db0c6c27b82d3c869 Mon Sep 17 00:00:00 2001 From: Michael Paquier Date: Thu, 6 Jul 2023 13:35:50 +0900 Subject: [PATCH] Add newline at the end of header generated by generate-wait_event_types.pl The header file wait_event_types.h was generated without a newline at its end, which was inconsistent with all the other things generated automatically. Per offline gripe from Nathan Bossart. --- src/backend/utils/activity/generate-wait_event_types.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/backend/utils/activity/generate-wait_event_types.pl b/src/backend/utils/activity/generate-wait_event_types.pl index 1602a40c42..6d1a2af42a 100644 --- a/src/backend/utils/activity/generate-wait_event_types.pl +++ b/src/backend/utils/activity/generate-wait_event_types.pl @@ -185,7 +185,7 @@ if ($gen_code) printf $c "}\n\n"; } - printf $h "#endif /* WAIT_EVENT_TYPES_H */"; + printf $h "#endif /* WAIT_EVENT_TYPES_H */\n"; close $h; close $c;