Merge pull request #1067 from Melvar/fix-reg039
Fix test reg039 and add it to idris.cabal
commit56147bfbb099ace30029e7641d12f9e5d398871c
authorEdwin Brady <edwin.brady@gmail.com>
dateThu 17 Apr 2014, 11:59 (13 years ago)
parentf03ee7e1f67546
idris.cabal+3
@@ -227,6 +227,9 @@ Extra-source-files:
227227 test/reg038/run
228228 test/reg038/*.idr
229229 test/reg038/expected
230+ test/reg039/run
231+ test/reg039/*.idr
232+ test/reg039/expected
230233
231234 test/basic001/run
232235 test/basic001/*.idr
test/reg039/run+7−1
@@ -22,5 +22,11 @@ timeout() {
2222
2323}
2424
25−timeout 60 "idris $@ --nocolour reg039.idr --exec go"
25+declare -a extraargs
26+for arg in "$@"
27+do
28+ extraargs=("${extraargs[@]}" "'$arg'")
29+done
30+
31+timeout 60 "idris ${extraargs[*]} --nocolour reg039.idr --exec go"
2632rm -f reg039 *.ibc