Change default Make target to test

exercism / idris

Exercism exercises in Idris.

https://exercism.org/tracks/idris

MIT License

32 stars 18 forks source link

Closed stevejb71 closed 7 years ago

stevejb71 commented 7 years ago

This is what I want to run most of the time, I'd expect the same with other users.

yurrriq commented 7 years ago

I don't have strong feelings about this. Could you update _src/Makefile.template as well if you think this is a good approach?

yurrriq commented 7 years ago

LGTM, thanks!