2015-05-13 22:03:28 +08:00
|
|
|
-D sched.runner=multi-threaded
|
|
|
|
-D sched.runner.thread.kind=fixed
|
|
|
|
-D sched.runner.thread.fixed.count=4
|
|
|
|
--sanity-checks off
|
2016-06-08 23:00:09 +08:00
|
|
|
-D jack.reporter.level.file=error=--,warning=-
|
2016-12-06 22:00:03 +08:00
|
|
|
--verbose error
|
|
|
|
-D jack.jayce.cache=false
|
2017-03-28 04:33:29 +08:00
|
|
|
-D jack.lambda.grouping-scope=package
|
|
|
|
-D jack.lambda.simplify-stateless=true
|