Consolidate reg003 into regression002
commit1db185193505d12878b728d145911e522769cf2d
authorSteven Shaw <steven@steshaw.org>
dateFri 5 Aug 2016, 19:55 (10 years ago)
parent2be265d
test/reg003/rundeleted−3
@@ -1,3 +0,0 @@
1−#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --check reg003.idr reg003a.idr
3−rm -f *.ibc
test/reg003/expected → test/regression002/expectedrenamed
The content is the same.
test/reg003/reg003.idr → test/regression002/reg003.idrrenamed
The content is the same.
test/reg003/reg003a.idr → test/regression002/reg003a.idrrenamed
The content is the same.
test/regression002/runnew file+8
@@ -0,0 +1,8 @@
1+#!/usr/bin/env bash
2+
3+${IDRIS:-idris} $@ --nobanner --nocolour --quiet <<!
4+:load reg003.idr
5+:load reg003a.idr
6+!
7+
8+rm -f *.ibc