Let's use Debian as reference Valgrind platform
Signed-off-by: Steffen Jaeckel <s@jaeckel.eu>
This commit is contained in:
@@ -128,7 +128,11 @@ case "$ARCH" in
|
|||||||
./configure ${tests[0]} --enable-valgrind $*
|
./configure ${tests[0]} --enable-valgrind $*
|
||||||
|
|
||||||
$MAKE CC="${CC}"
|
$MAKE CC="${CC}"
|
||||||
$MAKE check-valgrind || log_content ./test-suite-memcheck.log
|
if grep '^ID=' /etc/os-release | grep -q -e debian; then
|
||||||
|
$MAKE check-valgrind
|
||||||
|
else
|
||||||
|
$MAKE check-valgrind || log_content ./test-suite-memcheck.log
|
||||||
|
fi
|
||||||
$MAKE distclean
|
$MAKE distclean
|
||||||
;;
|
;;
|
||||||
esac
|
esac
|
||||||
|
|||||||
Reference in New Issue
Block a user