2011-11-16 20:44:16 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
#
|
2016-01-08 22:52:03 +01:00
|
|
|
# Run all the Coverage and Valgrind tests
|
|
|
|
|
#
|
2011-11-16 20:44:16 +01:00
|
|
|
|
|
|
|
|
make distclean
|
|
|
|
|
|
2016-01-08 22:52:03 +01:00
|
|
|
# Coverage
|
2014-11-04 22:52:33 +01:00
|
|
|
if ! ./configure --enable-coverage --enable-sde; then
|
2011-11-16 20:44:16 +01:00
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make lcov_reset check lcov_capture lcov_html; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make distclean; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2016-01-08 22:52:03 +01:00
|
|
|
# Valgrind
|
2011-11-16 20:44:16 +01:00
|
|
|
if ! ./configure --enable-valgrind; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make check distclean; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2016-01-08 22:52:03 +01:00
|
|
|
# Helgrind
|
2015-10-30 22:32:49 +01:00
|
|
|
if ! ./configure --enable-helgrind; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make check distclean; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2016-01-08 22:52:03 +01:00
|
|
|
# Drd
|
2015-10-30 22:32:49 +01:00
|
|
|
if ! ./configure --enable-drd; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make check distclean; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2011-11-16 20:44:16 +01:00
|
|
|
if ! ./configure ; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|