diff --git a/maketest.sh b/makevalg.sh similarity index 65% rename from maketest.sh rename to makevalg.sh index 3adc7f63..c9b80372 100755 --- a/maketest.sh +++ b/makevalg.sh @@ -1,6 +1,6 @@ #!/bin/sh # -# Run all the Coverage and Valgrind tests +# Run all the Valgrind tests # # Source directory @@ -15,21 +15,6 @@ cd $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 if ! $SOURCE/configure --enable-valgrind; then exit 1