diff options
| author | Tom Lane | 2022-07-09 19:15:05 +0000 |
|---|---|---|
| committer | Tom Lane | 2022-07-09 19:15:05 +0000 |
| commit | 8eccaf65254225921d6fd1f3bfa23e8a0b1f6bbb (patch) | |
| tree | c3c8c90938e9578cfe64f0cbd257b3b10a92c827 /src/common/jsonapi.c | |
| parent | 3cd0ac987819280eb8dd3e0997f0294b8bc6355a (diff) | |
Make assorted quality-of-life improvements in gen_node_support.pl.
Fix incorrect reporting of the location of errors (such as bogus
node attributes). Add header comments to the generated files,
containing copyright notices and reminders that they are generated
files, as we do in other file-generating scripts. Arrange to not
leave a clutter of temporary files when the script detects an error.
Discussion: https://postgr.es/m/3843645.1657385930@sss.pgh.pa.us
Diffstat (limited to 'src/common/jsonapi.c')
0 files changed, 0 insertions, 0 deletions