idris-lang/Idris-dev — pull request #1067 by Melvar (2014-04-15 13:14:11+00:00)
Title: Fix test reg039 and add it to idris.cabal

It otherwise broke if more than one additional argument was passed, such as `--codegen llvm` when making `test_llvm`. This went unnoticed because travis only gets what’s in `idris.cabal`.