jack-default.args revision f09e59eb52209eaa83ab1307609c5cc93633b355
1-D sched.runner=multi-threaded 2-D sched.runner.thread.kind=fixed 3-D sched.runner.thread.fixed.count=4 4--sanity-checks off 5-D jack.reporter.level.file=error=--,warning=-