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 /test | |
| parent | 8e88ab0e66a201a1d786e7e95c98314bf4e806e7 (diff) | |
| download | skiboot-427cc73b1eab4b4512fbaf623f9a120c6afdf09f.zip skiboot-427cc73b1eab4b4512fbaf623f9a120c6afdf09f.tar.gz skiboot-427cc73b1eab4b4512fbaf623f9a120c6afdf09f.tar.bz2 | |
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 'test')
0 files changed, 0 insertions, 0 deletions