X-Git-Url: https://git.xandkar.net/?p=hope.git;a=blobdiff_plain;f=Makefile;h=34c0fe97046e2a41fe494ff6e303b9da6275c7a8;hp=3104462445c7e93ce229d2d4671eb258723fd315;hb=d45d190d075db739dfc353ff3f29ba788130c2fc;hpb=39273fbe5d3bb9501b22e98d313a72d9fb4ea2ea diff --git a/Makefile b/Makefile index 3104462..34c0fe9 100644 --- a/Makefile +++ b/Makefile @@ -1,10 +1,15 @@ .PHONY: \ + ci \ fresh-build \ compile \ clean \ dialyze \ test +ci: \ + compile \ + test + fresh-build: \ clean \ compile