From 66ebf5db8b4c4617b0cbbb18cc7325f1932b3b43 Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Thu, 19 Mar 2026 11:56:22 +0100
Subject: [PATCH] Rename maketest to makevalg

---
 maketest.sh => makevalg.sh | 17 +----------------
 1 file changed, 1 insertion(+), 16 deletions(-)
 rename maketest.sh => makevalg.sh (65%)

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