From 3ff66c00292b20325b0d991dfd5eee80284cb9a8 Mon Sep 17 00:00:00 2001
From: Behdad Esfahbod <behdad@behdad.org>
Date: Mon, 15 Apr 2019 16:52:21 -0400
Subject: [PATCH] [fuzzing] Fail if valgrind is requested but not found

---
 test/fuzzing/run-shape-fuzzer-tests.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/test/fuzzing/run-shape-fuzzer-tests.py b/test/fuzzing/run-shape-fuzzer-tests.py
index e3d180f2b..54fddfbe9 100755
--- a/test/fuzzing/run-shape-fuzzer-tests.py
+++ b/test/fuzzing/run-shape-fuzzer-tests.py
@@ -70,6 +70,9 @@ fails = 0
 valgrind = None
 if os.environ.get('RUN_VALGRIND', ''):
 	valgrind = which ('valgrind')
+	if valgrind is None:
+		print ("""Valgrind requested but not found.""")
+		sys.exit (1)
 
 parent_path = os.path.join (srcdir, "fonts")
 for file in os.listdir (parent_path):