2018-02-14 18:10:09 +08:00
|
|
|
option('build_app', type: 'boolean', value: true)
|
|
|
|
option('build_server', type: 'boolean', value: true)
|
2018-02-14 23:25:13 +08:00
|
|
|
option('prebuilt_server', type: 'string')
|
2018-02-14 18:10:09 +08:00
|
|
|
option('override_server_jar', type: 'string')
|
2018-02-15 18:23:14 +08:00
|
|
|
option('skip_frames', type: 'boolean', value: true)
|