diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index 4ba638d..1b7c162 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -5,10 +5,13 @@ AGDA=agda # # cd agda-development-version-path/src/fix-agda-whitespace # cabal install -test: Everything.agda - cabal exec -- fix-agda-whitespace --check + +test: Everything.agda check-whitespace $(AGDA) -i. -isrc README.agda +check-whitespace: + cabal exec -- fix-agda-whitespace --check + setup: Everything.agda .PHONY: Everything.agda |