diff options
| -rwxr-xr-x | src/tools/msvc/clean.bat | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/msvc/clean.bat b/src/tools/msvc/clean.bat index 2eb16630316..f91cdd27968 100755 --- a/src/tools/msvc/clean.bat +++ b/src/tools/msvc/clean.bat @@ -1,5 +1,5 @@ @echo off -REM $PostgreSQL: pgsql/src/tools/msvc/clean.bat,v 1.12 2008/06/24 01:15:36 tgl Exp $ +REM $PostgreSQL: pgsql/src/tools/msvc/clean.bat,v 1.13 2008/08/18 13:42:49 mha Exp $ set DIST=0 if "%1"=="dist" set DIST=1 @@ -20,6 +20,7 @@ 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\parse.h del /q src\backend\parser\parse.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 if exist src\backend\utils\fmgroids.h del /q src\backend\utils\fmgroids.h if exist src\backend\utils\fmgrtab.c del /q src\backend\utils\fmgrtab.c |