Fix filename case in test run scripts
This causes them to properly clean up IBC files after them on
case-sensitive filesystems.
Fixes #866.
commitbd13bf92c3e48ccf76308e6f702f72213c1d97ed
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSat 8 Feb 2014, 10:54 (13 years ago)
parent39636cf
test/dsl002/run+1−1
@@ -1,4 +1,4 @@
11#!/usr/bin/env bash
22idris $@ test014.idr -o test014
33./test014
4−rm -f test014 resimp.ibc test014.ibc
4+rm -f test014 Resimp.ibc test014.ibc
test/proof003/run+1−1
@@ -1,4 +1,4 @@
11#!/usr/bin/env bash
22idris $@ test015.idr -o test015
33./test015
4−rm -f test015 parity.ibc test015.ibc
4+rm -f test015 Parity.ibc test015.ibc