diff options
-rwxr-xr-x | test/etc/default-build | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/etc/default-build b/test/etc/default-build index 51ae1752ae..a0408aaf79 100755 --- a/test/etc/default-build +++ b/test/etc/default-build @@ -126,6 +126,16 @@ done # Be sure to get any default arguments if not doing any experiments. EXPERIMENTAL="${EXPERIMENTAL} ${DEFAULT_EXPERIMENT}" +if [ "${JACK_SERVER}" = "false" ]; then + # Run in single-threaded mode for the continuous buildbot. + JACK_ARGS="${JACK_ARGS} -D sched.runner=single-threaded" +else + # Run with 4 threads to reduce memory footprint and thread contention. + JACK_ARGS="${JACK_ARGS} -D sched.runner=multi-threaded" + JACK_ARGS="${JACK_ARGS} -D sched.runner.thread.kind=fixed" + JACK_ARGS="${JACK_ARGS} -D sched.runner.thread.fixed.count=4" +fi + # Add args from the experimental mappings. for experiment in ${EXPERIMENTAL}; do JACK_ARGS="${JACK_ARGS} ${JACK_EXPERIMENTAL_ARGS[${experiment}]}" |