Skip to content

Commit d635567

Browse files
committed
buildkite/Makefile print dhall version
1 parent 04c7b52 commit d635567

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

buildkite/Makefile

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,11 @@ check_syntax:
55
find ./src/ -name "*.dhall" -print0 | xargs -I{} -0 -n1 bash -c 'echo "{}" && dhall --file {} > /dev/null || exit 255'
66

77
check_lint:
8+
@echo "Dhall version: $$(dhall --version)"
89
find ./src/ -name "*.dhall" -print0 | xargs -I{} -0 -n1 bash -c 'echo "{}" && dhall --ascii lint --check --inplace {} || exit 255'
910

1011
check_format:
12+
@echo "Dhall version: $$(dhall --version)"
1113
find ./src/ -name "*.dhall" -print0 | xargs -I{} -0 -n1 bash -c 'echo "{} format" && dhall --ascii format --check --inplace {} || exit 255'
1214

1315
lint:

0 commit comments

Comments
 (0)