ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-11 03:34:13 +03:00
Code Issues Projects Releases Wiki Activity

Disable disambig001 test for js

Browse Source 
Since it doesn't have getArgs available (and it's tested adequately by
the other backend tests)
This commit is contained in:
Edwin Brady 2015-05-18 12:31:01 +01:00
parent 5b73dcbde1
commit dcc3942b3c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/Makefile
View File

@ -8,7 +8,7 @@ test: $(TESTS)
@perl ./runtest.pl $(patsubst %.test,%,$@)
test_js:
@perl ./runtest.pl without sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 effects003 effects004 basic007 basic011 primitives004 ffi006 --codegen node
@perl ./runtest.pl without disambig001 sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 effects003 effects004 basic007 basic011 primitives004 ffi006 --codegen node
update:
/usr/bin/env perl ./runtest.pl all -u