tree bb599d610327d0c26b6c116d86f00d32d31160c0
parent 768022b98e45d343b540f83816fb65f549eac041
author Werner Lemberg <wl@gnu.org> 1608757368 +0100
committer Werner Lemberg <wl@gnu.org> 1608757368 +0100

* builds/windows/detect.mk (COPY): Make it work with `shell`.

Without this patch, we get the error

  builds/toplevel.mk:127: *** missing separator.  Stop.

Reported by Anuj, with a solution from Alexei.