idris-lang/Idris-dev — pull request #588 by david-christiansen (2013-11-03 18:51:46+00:00)
Title: Add test_all target to run tests for all backends

(excellent for coffee breaks)