From 1dee7b0160fd708c8d5ccc6be5099f40e9d3bbba Mon Sep 17 00:00:00 2001
From: Tamir Duberstein <tamird@gmail.com>
Date: Fri, 17 Apr 2015 07:45:16 -0700
Subject: [PATCH] Run valgrind with fair scheduling when available

Closes #3914.
---
 mk/platform.mk | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mk/platform.mk b/mk/platform.mk
index cd86b273c6d..9545a1fb52d 100644
--- 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