diff options
| author | Michael Ellerman <mpe@ellerman.id.au> | 2017-11-22 23:15:50 +1100 |
|---|---|---|
| committer | Stewart Smith <stewart@linux.vnet.ibm.com> | 2017-12-18 17:58:32 -0600 |
| commit | 427cc73b1eab4b4512fbaf623f9a120c6afdf09f (patch) | |
| tree | 0b4b535bbf49601e222c7972858c96b5d1b44d43 /Makefile | |
| parent | 8e88ab0e66a201a1d786e7e95c98314bf4e806e7 (diff) | |
| download | blackbird-skiboot-427cc73b1eab4b4512fbaf623f9a120c6afdf09f.tar.gz blackbird-skiboot-427cc73b1eab4b4512fbaf623f9a120c6afdf09f.zip | |
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>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 |
