2015-05-13 16:03:28 +02: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 17:00:09 +02:00
|
|
|
-D jack.reporter.level.file=error=--,warning=-
|
2016-12-06 15:00:03 +01:00
|
|
|
--verbose error
|
|
|
|
-D jack.jayce.cache=false
|
2017-03-27 22:33:29 +02:00
|
|
|
-D jack.lambda.grouping-scope=package
|
|
|
|
-D jack.lambda.simplify-stateless=true
|