diff --git a/bin/run_julia b/bin/run_julia index f0b15a08..a422853c 100755 --- a/bin/run_julia +++ b/bin/run_julia @@ -11,9 +11,19 @@ if [[ $julia_major == "1.1" ]]; then fi branch=$(git rev-parse --abbrev-ref HEAD) +if [[ $julia_major == "1.10" ]]; then + if [[ $HOSTNAME == "ufryzen" || $HOSTNAME == "TUD262682" ]]; then + GCT="--gcthreads=8,1" + else + GCT="--gcthreads=4,1" + fi +else + GCT="" +fi + if test -f "bin/kps-image-${julia_major}-${branch}.so"; then echo "Found system image!" - julia -J bin/kps-image-${julia_major}-${branch}.so -t 1 --project + julia -J bin/kps-image-${julia_major}-${branch}.so -t 1 $GCT --project else - julia --project + julia $GCT --project fi