You signed in with another tab or window.Reload to refresh your session.You signed out in another tab or window.Reload to refresh your session.You switched accounts on another tab or window.Reload to refresh your session.Dismiss alert
Make handling of errcodes.h more consistent with other generated headers.
This fixes make distprep, and seems more robust in other ways as well.Some special handling is required because errcodes.txt is needed bysome stuff in src/port, but just by src/backend as is the case for theother generated headers.While I'm at it, fix a few other things that were overlooked in theoriginal patch.