# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1251399773 0
# Node ID 6de7f271f0ceb8d6e7c756570411f05da3d85608
# Parent  f1c36e9555d50c34236034c7e7417b033e6853f1
(buildobj.h): Replace "echo" with "djecho".

diff -r f1c36e9555d5 -r 6de7f271f0ce msdos/sed1v2.inp
--- a/msdos/sed1v2.inp	Thu Aug 27 18:45:26 2009 +0000
+++ b/msdos/sed1v2.inp	Thu Aug 27 19:02:53 2009 +0000
@@ -81,5 +81,6 @@
 	djecho bootlisp > bootlisp
 /^	-\{0,1\}rm -f/s/\\#/#/
 /^	@\{0,1\}cd ..\/lisp; /s|$|\; cd ../src|
+/^	echo.* buildobj.h/s|echo |djecho |
 
 # arch-tag: c7e3aacb-4162-460e-99f9-4252bca68d2c