michael@0: [DEFAULT]
michael@0: head = head_profiler.js
michael@0: tail =
michael@0: 
michael@0: [test_start.js]
michael@0: skip-if = true
michael@0: [test_get_features.js]
michael@0: [test_shared_library.js]
michael@0: [test_run.js]
michael@0: skip-if = true
michael@0: [test_pause.js]
michael@0: [test_enterjit_osr.js]
michael@0: [test_enterjit_osr_disabling.js]
michael@0: skip-if = !debug
michael@0: [test_enterjit_osr_enabling.js]
michael@0: skip-if = !debug