Skip to content
This repository was archived by the owner on Jun 15, 2023. It is now read-only.

Commit adce9a4

Browse files
committed
Do not run format check on Windows
1 parent e4b2423 commit adce9a4

File tree

2 files changed

+8
-2
lines changed

2 files changed

+8
-2
lines changed

Makefile

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,14 +13,12 @@ test: build
1313
dune exec -- testrunner
1414
dune exec -- bash ./scripts/test.sh
1515
make reanalyze
16-
make checkformat
1716
bash ./scripts/testok.sh
1817

1918
roundtrip-test: build
2019
dune exec -- testrunner
2120
ROUNDTRIP_TEST=1 dune exec -- bash ./scripts/test.sh
2221
make reanalyze
23-
make checkformat
2422
bash ./scripts/testok.sh
2523

2624
reanalyze: build

scripts/test.sh

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -105,3 +105,11 @@ if [[ $ROUNDTRIP_TEST = 1 ]]; then
105105
fi
106106

107107
rm -r temp/
108+
109+
# Check format (does not work on Windows)
110+
case "$(uname -s)" in
111+
Darwin|Linux)
112+
echo "Checking code formatting"
113+
dune build @fmt
114+
;;
115+
esac

0 commit comments

Comments
 (0)