Skip to content

Commit 3ed2f89

Browse files
committed
WIP show chain.sh in log
1 parent 881125f commit 3ed2f89

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

regression/goto-harness/Makefile

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,9 +15,13 @@ else
1515
endif
1616

1717
test:
18+
@echo "[DEBUG] chain.sh"
19+
@cat chain.sh
1820
@../test.pl -e -p -c "../chain.sh $(GOTO_CC_EXE) $(GOTO_HARNESS_EXE) $(CBMC_EXE) $(is_windows)"
1921

2022
tests.log: ../test.pl
23+
@echo "[DEBUG] chain.sh"
24+
@cat chain.sh
2125
@../test.pl -e -p -c "../chain.sh $(GOTO_CC_EXE) $(GOTO_HARNESS_EXE) $(CBMC_EXE) $(is_windows)"
2226

2327
show:

0 commit comments

Comments
 (0)