Disable backend-dependent test
commitef75f3ca3029de906bdb4bd5e13f5e62fa572114
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 20 Jan 2015, 14:54 (12 years ago)
parent794852a
.travis.yml+1−1
@@ -30,5 +30,5 @@ env:
3030 - TESTS="doc"
3131 - TESTS="lib_doc"
3232 - TESTS="test_c"
33− - TESTS="test_llvm"
33+ #- TESTS="test_llvm"
3434 - TESTS="test_js"
test/Makefile+1−1
@@ -11,7 +11,7 @@ test_java:
1111 @perl ./runtest.pl without primitives004 --codegen Java
1212
1313test_js:
14− @perl ./runtest.pl without sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 effects003 buffer001 basic011 primitives004 --codegen node
14+ @perl ./runtest.pl without sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 effects003 buffer001 basic007 basic011 primitives004 --codegen node
1515
1616test_llvm:
1717 @perl ./runtest.pl without primitives003 primitives004 sugar004 io003 buffer001 --codegen llvm
test/basic007/test033.idr+1−1
@@ -1,4 +1,4 @@
11module Main
22
3−main : JS_IO ()
3+main : IO ()
44main = nullPtr null >>= print