mirror of
https://github.com/postgres/postgres.git
synced 2025-07-28 23:42:10 +03:00
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 by some stuff in src/port, but just by src/backend as is the case for the other generated headers. While I'm at it, fix a few other things that were overlooked in the original patch.
This commit is contained in:
@ -20,6 +20,7 @@ REM Delete files created with GenerateFiles() in Solution.pm
|
||||
if exist src\include\pg_config.h del /q src\include\pg_config.h
|
||||
if exist src\include\pg_config_os.h del /q src\include\pg_config_os.h
|
||||
if %DIST%==1 if exist src\backend\parser\gram.h del /q src\backend\parser\gram.h
|
||||
if exist src\include\utils\errcodes.h del /q src\include\utils\errcodes.h
|
||||
if exist src\include\utils\fmgroids.h del /q src\include\utils\fmgroids.h
|
||||
if exist src\include\utils\probes.h del /q src\include\utils\probes.h
|
||||
|
||||
|
Reference in New Issue
Block a user