Skip to content

Commit bee9bb7

Browse files
committed
fix whitespace in amkefile
1 parent 3ed2f89 commit bee9bb7

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

regression/goto-harness/Makefile

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

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

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

2727
show:

0 commit comments

Comments
 (0)