File tree Expand file tree Collapse file tree 1 file changed +10
-3
lines changed
Expand file tree Collapse file tree 1 file changed +10
-3
lines changed Original file line number Diff line number Diff line change @@ -4,19 +4,26 @@ check_syntax:
44 # xargs will short-circuit if a command fails with code 255
55 find ./src/ -name " *.dhall" -print0 | xargs -I{} -0 -n1 bash -c ' echo "{}" && dhall --file {} > /dev/null || exit 255'
66
7- check_lint :
8- @echo " Dhall version: $$ (dhall --version)"
7+ convert_backticks_to_ifs :
8+ sed -i -E ' s/`if` =/if =/g' src/Command/Base.dhall
9+
10+ convert_ifs_to_backticks :
11+ sed -i -E ' s/if =/`if` =/g' src/Command/Base.dhall
12+
13+ check_lint : convert_backticks_to_ifs
914 find ./src/ -name " *.dhall" -print0 | xargs -I{} -0 -n1 bash -c ' echo "{}" && dhall --ascii lint --check --inplace {} || exit 255'
1015
11- check_format :
16+ check_format : convert_backticks_to_ifs
1217 @echo " Dhall version: $$ (dhall --version)"
1318 find ./src/ -name " *.dhall" -print0 | xargs -I{} -0 -n1 bash -c ' echo "{} format" && dhall --ascii format --check --inplace {} || exit 255'
1419
1520lint :
1621 find ./src/ -name " *.dhall" -print0 | xargs -I{} -0 -n1 bash -c ' echo "{}" && dhall --ascii lint --inplace {} || exit 255'
22+ $(MAKE ) convert_ifs_to_backticks
1723
1824format :
1925 find ./src/ -name " *.dhall" -print0 | xargs -I{} -0 -n1 bash -c ' echo "{}" && dhall --ascii format --inplace {} || exit 255'
26+ $(MAKE ) convert_ifs_to_backticks
2027
2128check_filter :
2229 # Ensure Jobs.dhall is generated before proceeding
You can’t perform that action at this time.
0 commit comments