Skip to content

Commit c448a67

Browse files
committed
Debug Windows CI failure
1 parent 55302b7 commit c448a67

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

regression/goto-cl/Makefile

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,9 @@ include ../../src/common
66
ifeq ($(BUILD_ENV_),MSVC)
77
test:
88
@../test.pl -p -c ../../../src/goto-cc/goto-cl -X goto-link
9-
@cp ../../src/goto-cc/goto-cl.exe ../../src/goto-cc/goto-link.exe
10-
@../test.pl -p -c ../../../src/goto-cc/goto-link -I goto-link
9+
cp ../../src/goto-cc/goto-cl.exe ../../src/goto-cc/goto-link.exe
10+
ls -la ../../src/goto-cc
11+
@../test.pl -p -c ../../../src/goto-cc/goto-link.exe -I goto-link
1112

1213
tests.log: ../test.pl
1314
@../test.pl -p -c ../../../src/goto-cc/goto-cl -X goto-link

0 commit comments

Comments
 (0)