jack-default.args revision b6bfb5893a64dc23dd4dbcbcbe62fe885bd68632
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=-