Debug Windows CI failure

Author: tautschnig

regression/goto-cl/Makefile

@@ -5,14 +5,15 @@ include ../../src/common
 
 ifeq ($(BUILD_ENV_),MSVC)
 test:
-	@../test.pl -p -c ../../../src/goto-cc/goto-cl -X goto-link
-	@cp ../../src/goto-cc/goto-cl.exe ../../src/goto-cc/goto-link.exe
-	@../test.pl -p -c ../../../src/goto-cc/goto-link -I goto-link
+	../test.pl -p -c ../../../src/goto-cc/goto-cl -X goto-link
+	cp ../../src/goto-cc/goto-cl.exe ../../src/goto-cc/goto-abc.exe
+	ls -la ../../src/goto-cc
+	../test.pl -p -c ../../../src/goto-cc/goto-abc.exe -I goto-link
 
 tests.log: ../test.pl
-	@../test.pl -p -c ../../../src/goto-cc/goto-cl -X goto-link
-	@cp ../../src/goto-cc/goto-cl.exe ../../src/goto-cc/goto-link.exe
-	@../test.pl -p -c ../../../src/goto-cc/goto-link -I goto-link
+	../test.pl -p -c ../../../src/goto-cc/goto-cl -X goto-link
+	cp ../../src/goto-cc/goto-cl.exe ../../src/goto-cc/goto-link.exe
+	../test.pl -p -c ../../../src/goto-cc/goto-link -I goto-link
 
 else
 test: