changeset 18767:31e6205f80b6

Use `sed' instead of `cp', which might not be installed.
author Richard M. Stallman <rms@gnu.org>
date Sun, 13 Jul 1997 20:47:45 +0000
parents ac2e7e21abb0
children 76978dc14d8c
files config.bat
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/config.bat	Sun Jul 13 20:43:31 1997 +0000
+++ b/config.bat	Sun Jul 13 20:47:45 1997 +0000
@@ -129,7 +129,7 @@
 
 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