> From: Paul Smith <psm...@gnu.org> > Cc: gzaf...@gmail.com, bug-make@gnu.org > Date: Mon, 26 Dec 2022 09:15:56 -0500 > > On Mon, 2022-12-26 at 05:29 +0200, Eli Zaretskii wrote: > > How about reading the Sed script from a file, with the -f command- > > line argument? > > That would work. It's annoying to have to add an entirely new file in > source control just to work around this though.
Well, if that is a problem, you could have bootstrap.bat write that file for you. If you do this with "echo", you don't need to worry about backslash munging, I think, since cmd.exe's "echo" is very simple-minded, and just blindly copies every character, including the quotes.
