tracks/idris/_src/Makefile.template in trackler-2.0.8.5 vs tracks/idris/_src/Makefile.template in trackler-2.0.8.6

- old
+ new

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