diff options
| author | Tamir Duberstein <tamird@gmail.com> | 2015-04-17 07:45:16 -0700 |
|---|---|---|
| committer | Tamir Duberstein <tamird@gmail.com> | 2015-04-17 07:45:16 -0700 |
| commit | 1dee7b0160fd708c8d5ccc6be5099f40e9d3bbba (patch) | |
| tree | 73ab789a94633c4bc513e07c2c505cf323838042 | |
| parent | cc267cefcb4ffc4650d7307c7e31f0ce2cddbba4 (diff) | |
| download | rust-1dee7b0160fd708c8d5ccc6be5099f40e9d3bbba.tar.gz rust-1dee7b0160fd708c8d5ccc6be5099f40e9d3bbba.zip | |
Run valgrind with fair scheduling when available
Closes #3914.
| -rw-r--r-- | mk/platform.mk | 3 |
1 files changed, 2 insertions, 1 deletions
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 |