idris-lang/Idris-dev — pull request #1755 by mattias-lundell (2014-11-29 23:56:23+00:00)
Title: Make tests work with sandboxes

As an alternative to add the Idris sandbox path to PATH to make test suite run when running from sandbox.