diff options
Diffstat (limited to 'build-aux/valgrind')
| -rwxr-xr-x | build-aux/valgrind | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build-aux/valgrind b/build-aux/valgrind index 728faca..7ad2712 100755 --- a/build-aux/valgrind +++ b/build-aux/valgrind @@ -6,6 +6,7 @@ exec \ valgrind \ + --fair-sched=yes \ --error-exitcode=2 \ --leak-check=full \ --show-leak-kinds=all \ |