Run valgrind with fair scheduling when available

Closes #3914.
2015-04-17 07:45:16 -07:00 · 2015-04-17 07:45:16 -07:00 · 1dee7b0160
parent cc267cefcb
commit 1dee7b0160
1 changed files with 2 additions and 1 deletions
--- a/mk/platform.mk
+++ b/mk/platform.mk
@ -46,8 +46,9 @@ endif
 # see https://blog.mozilla.org/jseward/2012/06/05/valgrind-now-supports-jemalloc-builds-directly/
 ifdef CFG_VALGRIND
  CFG_VALGRIND += --error-exitcode=100 \
-                  --soname-synonyms=somalloc=NONE \
+                  --fair-sched=try \
                  --quiet \
+                  --soname-synonyms=somalloc=NONE \
                  --suppressions=$(CFG_SRC_DIR)src/etc/x86.supp \
                  $(OS_SUPP)
  ifdef CFG_ENABLE_HELGRIND