diff options
| -rw-r--r-- | config.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.bat b/config.bat index dfd7505d39d..7216c5ba017 100644 --- a/config.bat +++ b/config.bat | |||
| @@ -129,7 +129,7 @@ rm -f paths.tmp | |||
| 129 | 129 | ||
| 130 | rem Create "config.h" | 130 | rem Create "config.h" |
| 131 | rm -f config.h2 config.tmp | 131 | rm -f config.h2 config.tmp |
| 132 | cp config.in config.tmp | 132 | sed -e '' config.in > config.tmp |
| 133 | if "%X11%" == "" goto src4 | 133 | if "%X11%" == "" goto src4 |
| 134 | sed -f ../msdos/sed2x.inp <config.in >config.tmp | 134 | sed -f ../msdos/sed2x.inp <config.in >config.tmp |
| 135 | :src4 | 135 | :src4 |