From 255f09a73ca6851de8e3d731c5cc1f4373fc84f1 Mon Sep 17 00:00:00 2001
From: John Firebaugh <john.firebaugh@gmail.com>
Date: Wed, 11 Jan 2017 14:06:21 -0800
Subject: [PATCH] [linux] Use valgrind 3.12.0

---
 scripts/valgrind.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/scripts/valgrind.sh b/scripts/valgrind.sh
index 4009063c8..c717fc2cb 100755
--- a/scripts/valgrind.sh
+++ b/scripts/valgrind.sh
@@ -3,7 +3,7 @@
 set -e
 set -o pipefail
 
-.mason/mason install valgrind latest
+.mason/mason install valgrind 3.12.0
 
 PARAMS="\
     --leak-check=full \
@@ -13,6 +13,6 @@ PARAMS="\
     --gen-suppressions=all \
     --suppressions=scripts/valgrind.sup"
 
-export VALGRIND_LIB=$(.mason/mason prefix valgrind latest)/lib/valgrind
+export VALGRIND_LIB=$(.mason/mason prefix valgrind 3.12.0)/lib/valgrind
 
-$(.mason/mason prefix valgrind latest)/bin/valgrind $PARAMS $@
+$(.mason/mason prefix valgrind 3.12.0)/bin/valgrind $PARAMS $@