Thu, 22 Jan 2015 13:21:57 +0100
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
michael@0 | 1 | [DEFAULT] |
michael@0 | 2 | head = head_profiler.js |
michael@0 | 3 | tail = |
michael@0 | 4 | |
michael@0 | 5 | [test_start.js] |
michael@0 | 6 | skip-if = true |
michael@0 | 7 | [test_get_features.js] |
michael@0 | 8 | [test_shared_library.js] |
michael@0 | 9 | [test_run.js] |
michael@0 | 10 | skip-if = true |
michael@0 | 11 | [test_pause.js] |
michael@0 | 12 | [test_enterjit_osr.js] |
michael@0 | 13 | [test_enterjit_osr_disabling.js] |
michael@0 | 14 | skip-if = !debug |
michael@0 | 15 | [test_enterjit_osr_enabling.js] |
michael@0 | 16 | skip-if = !debug |