idris-lang/Idris-dev — pull request #867 by david-christiansen (2014-02-08 09:56:02+00:00)
Title: Fix filename case in test run scripts

This causes them to properly clean up IBC files after them on
case-sensitive filesystems.

Fixes #866.