on master help sign in
Enable test interactive017.
commit52c103f018ab2b9783e3e6d9a9cb50d663d9484e authorSteven Shaw <steven@steshaw.org> dateSun 3 Sep 2017, 15:04 (9 years ago) parentec294a1
6 files changed+3−2
test/TestData.hs+2−1 test/interactive017/run+1−1 test/interactive017/shebang-args.idr test/interactive017/shebang-import.idr test/interactive017/shebang-node.idr test/interactive017/shebang.idr
test/TestData.hs+2−1
@@ -157,7 +157,8 @@ testFamiliesData = [
157157 ( 13, ANY ),
158158 ( 14, C_CG ),
159159 ( 15, ANY ),
160− ( 16, ANY )]),
160+ ( 16, ANY ),
161+ ( 17, ANY )]),
161162 ("interfaces", "Interfaces",
162163 [ ( 1, ANY ),
163164 ( 2, ANY ),
test/interactive017/runmode 100644 → 100755+1−1
@@ -6,4 +6,4 @@ PATH="../../scripts:$PATH"
66./shebang-node.idr
77./shebang-args.idr aaa
88./shebang-args.idr bbb aaa
9−./shebang-import.idr
9+./shebang-import.idr
test/interactive017/shebang-args.idrmode 100644 → 100755

Only the mode changed.

test/interactive017/shebang-import.idrmode 100644 → 100755

Only the mode changed.

test/interactive017/shebang-node.idrmode 100644 → 100755

Only the mode changed.

test/interactive017/shebang.idrmode 100644 → 100755

Only the mode changed.