tracks/idris/exercises/hamming/Makefile in trackler-2.0.8.5 vs tracks/idris/exercises/hamming/Makefile in trackler-2.0.8.6
- old
+ new
@@ -1,10 +1,10 @@
idris ?= idris
pkg := Hamming
.PHONY: build clean clobber install rebuild test
-all: build
+all: test
build:
@ ${idris} --build ${pkg}.ipkg
clean: