From fc7faafae714e713bbe77ea6c784ae400bc0e95d Mon Sep 17 00:00:00 2001
From: Richo Healey <richo@psych0tik.net>
Date: Mon, 27 Apr 2015 23:54:30 -0700
Subject: [PATCH] configure: Fail iff valgrind is explicitly requested but not
 available

---
 configure | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/configure b/configure
index 5455f1b3ccf8..33407bfcacd9 100755
--- a/configure
+++ b/configure
@@ -737,8 +737,14 @@ fi
 # only disabled if you opt out.
 if [ -z "$CFG_VALGRIND" ]
 then
-    CFG_DISABLE_VALGRIND_RPASS=1
-    putvar CFG_DISABLE_VALGRIND_RPASS
+    # If the user has explicitly asked for valgrind tests, then fail
+    if [ -n "$CFG_ENABLE_VALGRIND" ] && [ -n "$CFG_ENABLE_VALGRIND_PROVIDED" ]
+    then
+        err "No valgrind present, but valgrind tests explicitly requested"
+    else
+        CFG_DISABLE_VALGRIND_RPASS=1
+        putvar CFG_DISABLE_VALGRIND_RPASS
+    fi
 fi
 
 if [ ! -z "$CFG_GDB" ]