Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | make check: Make valgrind optional | Michael Ellerman | 2017-12-18 | 1 | -0/+35 |
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> |