From 427cc73b1eab4b4512fbaf623f9a120c6afdf09f Mon Sep 17 00:00:00 2001
From: Michael Ellerman <mpe@ellerman.id.au>
Date: Wed, 22 Nov 2017 23:15:50 +1100
Subject: make check: Make valgrind optional

To (slightly) lower the barrier for contributions, we can make valgrind
optional with just a small amount of plumbing.

This allows make check to run successfully without valgrind.

Signed-off-by: Michael Ellerman <mpe@ellerman.id.au>
Signed-off-by: Stewart Smith <stewart@linux.vnet.ibm.com>
---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 6a7bab5..3b962a1 100644
--- a/Makefile
+++ b/Makefile
@@ -20,6 +20,9 @@ endif
 #
 DEBUG ?= 0
 
+# Run tests under valgrind?
+USE_VALGRIND ?= 1
+
 #
 # Optional location of embedded linux kernel file
 # This can be a raw vmlinux, stripped vmlinux or
-- 
cgit v1.1