diff options
Diffstat (limited to 'test/builtins/run_tests.py')
| -rwxr-xr-x | test/builtins/run_tests.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/builtins/run_tests.py b/test/builtins/run_tests.py index 0d87e1ec..e1f2927e 100755 --- a/test/builtins/run_tests.py +++ b/test/builtins/run_tests.py @@ -86,7 +86,8 @@ xml += test_c_builtins('C, Constant folding', '-Oconstant_fold') xml += test_ocaml_builtins('OCaml', '') -xml += test_lem_builtins('Lem to OCaml') +# Comment this out for most runs because it's really slow +# xml += test_lem_builtins('Lem to OCaml') xml += '</testsuites>\n' |