File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -23,7 +23,7 @@ test/agda2hs : $(FILES)
2323testContainers :
2424 cd ./lib/containers && ./generate-haskell.sh && cabal build containers-prop
2525
26- test : check-whitespace test/agda2hs testContainers
26+ test : checkWhitespace test/agda2hs testContainers
2727 make -C test
2828
2929testHtml : test/agda2hs
@@ -40,12 +40,12 @@ docs :
4040
4141FIXW_BIN = fix-whitespace
4242
43- .PHONY : fix-whitespace # # Fix the whitespace issue.
44- fix-whitespace : have-bin-$(FIXW_BIN ) fix-whitespace.yaml
43+ .PHONY : fixWhitespace # # Fix the whitespace issue.
44+ fixWhitespace : have-bin-$(FIXW_BIN ) fix-whitespace.yaml
4545 $(FIXW_BIN )
4646
47- .PHONY : check-whitespace # # Check the whitespace issue without fixing it.
48- check-whitespace : have-bin-$(FIXW_BIN ) fix-whitespace.yaml
47+ .PHONY : checkWhitespace # # Check the whitespace issue without fixing it.
48+ checkWhitespace : have-bin-$(FIXW_BIN ) fix-whitespace.yaml
4949 $(FIXW_BIN ) --check
5050
5151.PHONY : have-bin-% # # Installing binaries for developer services
You can’t perform that action at this time.
0 commit comments