From ffbbc71bd43205b1c6b2fc994ea2b9c2874f9f88 Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Sat, 28 Feb 2026 09:32:01 +0100
Subject: [PATCH] Avoid configure at the end of test scripts

---
 makecheck.sh | 4 ++--
 makesan.sh   | 5 -----
 maketest.sh  | 5 -----
 3 files changed, 2 insertions(+), 12 deletions(-)

diff --git a/makecheck.sh b/makecheck.sh
index ca4bcd7a..918f46a9 100755
--- a/makecheck.sh
+++ b/makecheck.sh
@@ -9,10 +9,10 @@ SOURCE=`pwd`
 # Dest directory
 DEST=`mktemp -d`
 
-cd $DEST
-
 make distclean
 
+cd $DEST
+
 if ! $SOURCE/configure; then
 	exit 1
 fi
diff --git a/makesan.sh b/makesan.sh
index d2686538..7a3efad8 100755
--- a/makesan.sh
+++ b/makesan.sh
@@ -60,8 +60,3 @@ if ! make check distclean; then
 fi
 
 cd $SOURCE
-
-if ! ./configure; then
-	exit 1
-fi
-
diff --git a/maketest.sh b/maketest.sh
index 7c4d7bab..3adc7f63 100755
--- a/maketest.sh
+++ b/maketest.sh
@@ -58,8 +58,3 @@ if ! make check distclean; then
 fi
 
 cd $SOURCE
-
-if ! ./configure; then
-	exit 1
-fi
-