Add newline at the end of header generated by generate-wait_event_types.pl
authorMichael Paquier <[email protected]>
Thu, 6 Jul 2023 04:35:50 +0000 (13:35 +0900)
committerMichael Paquier <[email protected]>
Thu, 6 Jul 2023 04:35:50 +0000 (13:35 +0900)
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

index 1602a40c42cf36b3553df9615cdf5f1d5514c687..6d1a2af42aedaafad6b3d1e81544a813f35158e5 100644 (file)
@@ -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;