Update test to avoid interactive-mode control chars

jljox · Feb 4, 2014 · 835981d · 835981d
1 parent 3b9ce1c
commit 835981d
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 3 deletions.
diff --git a/test/ffi003/expected b/test/ffi003/expected
@@ -1,3 +1,2 @@
 Type checking ./test024.idr
 testtest
-[?1049h[1;52r(B[m[4l[?7h[H[2J[52;1H[?1049l[?1l>() : ()
diff --git a/test/ffi003/input b/test/ffi003/input
@@ -1,2 +1 @@
-:x unsafePerformIO main
 test
diff --git a/test/ffi003/run b/test/ffi003/run
@@ -1,3 +1,3 @@
 #!/usr/bin/env bash
-idris --quiet --nocolour test024.idr < input
+idris --quiet --nocolour test024.idr --exec main < input
 rm -f *.ibc