diff options
| author | Michael Paquier | 2023-07-06 04:35:50 +0000 |
|---|---|---|
| committer | Michael Paquier | 2023-07-06 04:35:50 +0000 |
| commit | cf05113eb0da0b65fdeaf79db0c6c27b82d3c869 (patch) | |
| tree | 397c8defb3b1d7c913a07e10f2761e330ae69ee2 | |
| parent | cc32ec24fdf3b9808617439d41b0ba7f3eb16b04 (diff) | |
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.
| -rw-r--r-- | src/backend/utils/activity/generate-wait_event_types.pl | 2 |
1 files changed, 1 insertions, 1 deletions
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; |