Fix test reg004 ignoring extra arguments
commitfb9339db6e3cc1408c463316ab532ec9e4f0a20e
authorBenjamin Saunders <besaunde@sfu.ca>
dateWed 13 Nov 2013, 19:51 (13 years ago)
parent5946416
test/reg004/run+1−1
@@ -1,4 +1,4 @@
11#!/bin/bash
2−idris reg004.idr -o reg004
2+idris $@ reg004.idr -o reg004
33./reg004
44rm -f reg004 *.ibc