diff options
author | Richard M. Stallman <rms@gnu.org> | 1997-07-13 20:47:45 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1997-07-13 20:47:45 +0000 |
commit | a7a1751afa663bdadbebf83bd2bbe9dec15cefae (patch) | |
tree | ee856c82603f7543c6fb61cd1132865ae953591b /config.bat | |
parent | e4f226ceb9fba6657a4652c2c69370b17f285224 (diff) | |
download | emacs-a7a1751afa663bdadbebf83bd2bbe9dec15cefae.tar.gz |
Use `sed' instead of `cp', which might not be installed.
Diffstat (limited to 'config.bat')
-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 rem Create "config.h"
rm -f config.h2 config.tmp
-cp config.in config.tmp
+sed -e '' config.in > config.tmp
if "%X11%" == "" goto src4
sed -f ../msdos/sed2x.inp <config.in >config.tmp
:src4
|