git.iko.soy/Idris-dev
on master help sign in
Add argument passing to new tests
6398a7eBenjamin Saunders
test/test014/run+1−1
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1#!/bin/bash
1#!/bin/bash
2−idris test014.idr -o test014
2+idris $@ test014.idr -o test014
3./test014
3./test014
4rm -f test014 resimp.ibc test014.ibc
4rm -f test014 resimp.ibc test014.ibc
test/test015/run+1−1
@@ -1,4 +1,4 @@
1#!/bin/bash
1#!/bin/bash
2−idris test015.idr -o test015
2+idris $@ test015.idr -o test015
3./test015
3./test015
4rm -f test015 parity.ibc test015.ibc
4rm -f test015 parity.ibc test015.ibc
test/test016/run+1−1
@@ -1,4 +1,4 @@
1#!/bin/bash
1#!/bin/bash
2−idris test016.idr -o test016
2+idris $@ test016.idr -o test016
3./test016
3./test016
4rm -f test016 *.ibc
4rm -f test016 *.ibc
test/test017/run+2−2
@@ -1,4 +1,4 @@
1#!/bin/bash
1#!/bin/bash
2−idris --check test017.idr
2+idris $@ --check test017.idr
3−idris --check test017a.idr
3+idris $@ --check test017a.idr
4rm -f *.ibc
4rm -f *.ibc
test/test018/run+2−2
@@ -1,6 +1,6 @@
1#!/bin/bash
1#!/bin/bash
2−idris test018.idr -o test018
2+idris $@ test018.idr -o test018
3−idris test018a.idr -o test018a
3+idris $@ test018a.idr -o test018a
4./test018
4./test018
5#./test018a
5#./test018a
6rm -f test018 test018a *.ibc
6rm -f test018 test018a *.ibc