Rename maketest to makevalg

This commit is contained in:
Andrea Mazzoleni 2026-03-19 11:56:22 +01:00
parent 9146d02845
commit 66ebf5db8b

View file

@ -1,6 +1,6 @@
#!/bin/sh #!/bin/sh
# #
# Run all the Coverage and Valgrind tests # Run all the Valgrind tests
# #
# Source directory # Source directory
@ -15,21 +15,6 @@ cd $DEST
cp $SOURCE/valgrind.supp $DEST cp $SOURCE/valgrind.supp $DEST
# Coverage
if ! $SOURCE/configure --enable-coverage --enable-sde; then
exit 1
fi
if ! make lcov_reset check lcov_capture lcov_html; then
exit 1
fi
cp -a cov $SOURCE/cov
if ! make distclean; then
exit 1
fi
# Valgrind # Valgrind
if ! $SOURCE/configure --enable-valgrind; then if ! $SOURCE/configure --enable-valgrind; then
exit 1 exit 1