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: