tracks/idris/exercises/leap/Makefile in trackler-2.0.8.5 vs tracks/idris/exercises/leap/Makefile in trackler-2.0.8.6

- old
+ new

@@ -1,10 +1,10 @@ idris ?= idris pkg := Leap .PHONY: build clean clobber install rebuild test -all: build +all: test build: @ ${idris} --build ${pkg}.ipkg clean: