From ebb33ee8b445d3531f1b9a787b60c353fecf3f31 Mon Sep 17 00:00:00 2001
From: Bob Andrews <mrdudz@users.noreply.github.com>
Date: Fri, 11 Nov 2022 20:54:38 +0100
Subject: [PATCH] fix problem with copy command in cmd.exe

---
 test/ref/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/test/ref/Makefile b/test/ref/Makefile
index 3c275e308..e30d3324c 100644
--- a/test/ref/Makefile
+++ b/test/ref/Makefile
@@ -11,14 +11,14 @@ ifdef CMD_EXE
   NULLDEV = nul:
   MKDIR = mkdir $(subst /,\,$1)
   RMDIR = -rmdir /s /q $(subst /,\,$1)
-  CP=copy
+  COPY = copy $(subst /,\,$1) $(subst /,\,$2)
 else
   S = /
   EXE =
   NULLDEV = /dev/null
   MKDIR = mkdir -p $1
   RMDIR = $(RM) -r $1
-  CP=cp
+  COPY = cp $1 $2
 endif
 
 ifdef QUIET
@@ -78,7 +78,7 @@ $(ISEQUAL): ../isequal.c | $(WORKDIR)
 
 $(WORKDIR)/%.cref: %.cref | $(WORKDIR)
 	$(if $(QUIET),echo ref/$*.cref)
-	$(CP) $*.cref $@
+	$(call COPY,$*.cref,$@)
 
 $(WORKDIR)/%.ref: %.c | $(WORKDIR)
 	$(if $(QUIET),echo ref/$*.host)