Update unused_oids script so it works with non-GNU awk --- /* ... */
Tom Lane <tgl@sss.pgh.pa.us>
Update unused_oids script so it works with non-GNU awk --- /* ... */ comment style apparently isn't portable to other awks.
Files
| Path | Change | +/− |
|---|---|---|
| src/include/catalog/unused_oids | modified | +4 −3 |