Use fair scheduling of threads under valgrind

fixes some rare case where the master search thread makes no progress,
observed in CI.
This commit is contained in:
Joost VandeVondele
2020-09-30 20:18:15 +02:00
committed by nodchip
parent b889debfb5
commit f848d67341
2 changed files with 2 additions and 2 deletions

View File

@@ -20,7 +20,7 @@ case $1 in
--valgrind-thread)
echo "valgrind-thread testing started"
prefix=''
exeprefix='valgrind --error-exitcode=42'
exeprefix='valgrind --fair-sched=try --error-exitcode=42'
postfix='1>/dev/null'
threads="2"
;;

View File

@@ -20,7 +20,7 @@ case $1 in
--valgrind-thread)
echo "valgrind-thread testing started"
prefix=''
exeprefix='valgrind --error-exitcode=42'
exeprefix='valgrind --fair-sched=try --error-exitcode=42'
postfix='1>/dev/null'
threads="2"
;;