(options, platform, jdk)
| 791 | create_bundle(jdk, platform, options) |
| 792 | |
| 793 | def init_editor(options, platform, jdk): |
| 794 | init_command = ['with-profile', '+release', 'init', |
| 795 | options.engine_sha1 or 'dynamo-home', |
| 796 | options.archive_domain, |
| 797 | platform] |
| 798 | invoke_lein(init_command, jdk_path=jdk) |
| 799 | |
| 800 | def run_tests(jdk): |
| 801 | invoke_lein(['with-profile', '+headless', 'check-and-exit'], jdk_path=jdk) |
no test coverage detected