git.iko.soy/Idris-dev
on master help sign in
Fix test reg004 ignoring extra arguments
fb9339dBenjamin Saunders
test/reg004/run+1−1
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1#!/bin/bash
1#!/bin/bash
2−idris reg004.idr -o reg004
2+idris $@ reg004.idr -o reg004
3./reg004
3./reg004
4rm -f reg004 *.ibc
4rm -f reg004 *.ibc