2018-09-29 05:52:19 +03:00
|
|
|
option('gc', type : 'boolean', value : false,
|
|
|
|
description : 'Add debugging information to heap. Run with -g. Breaks image.')
|
2018-09-29 05:57:31 +03:00
|
|
|
option('prof', type : 'boolean', value : false,
|
|
|
|
description : 'Activate profiling. Run with -P.')
|