From cb81bb9fc7bbff49a5cfa7dbfef4f15f248d9407 Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Wed, 18 Mar 2026 12:10:05 +0100
Subject: [PATCH] Rework makecheck and makedist

---
 makecheck.sh | 26 +++++++++++++++++++++++++-
 makedist.sh  | 17 +++--------------
 2 files changed, 28 insertions(+), 15 deletions(-)

diff --git a/makecheck.sh b/makecheck.sh
index 918f46a9..a031f7ab 100755
--- a/makecheck.sh
+++ b/makecheck.sh
@@ -17,6 +17,30 @@ if ! $SOURCE/configure; then
 	exit 1
 fi
 
-if ! time make check; then
+if ! make -j4; then
+	exit 1
+fi
+
+if ! make check; then
+	exit 1
+fi
+
+if ! make distclean; then
+	exit 1
+fi
+
+if ! $SOURCE/configure --host=x86_64-w64-mingw32.static --build=`$SOURCE/config.guess`; then
+	exit 1
+fi
+
+if ! make -j4; then
+	exit 1
+fi
+
+if ! make check; then
+	exit 1
+fi
+
+if ! make distclean; then
 	exit 1
 fi
diff --git a/makedist.sh b/makedist.sh
index 4188914e..a52797b9 100755
--- a/makedist.sh
+++ b/makedist.sh
@@ -1,17 +1,6 @@
 #!/bin/sh
 #
 
-CHECK=check
-DEBUG=
-
-if test "x$1" = "x-f"; then
-CHECK=all
-fi
-
-if test "x$1" = "x-d"; then
-DEBUG=--enable-debug
-fi
-
 # Ask root permissions at the start
 sudo echo We are root
 
@@ -20,7 +9,7 @@ make distclean
 # Reconfigure (with force) to get the latest revision from git
 autoreconf -f
 
-if ! ./configure.windows-x86 $DEBUG; then
+if ! ./configure.windows-x86; then
 	exit 1
 fi
 
@@ -32,11 +21,11 @@ if ! make distwindows-x86 distclean; then
 	exit 1
 fi
 
-if ! ./configure.windows-x64 $DEBUG; then
+if ! ./configure.windows-x64; then
 	exit 1
 fi
 
-if ! make -j4 $CHECK; then
+if ! make -j4; then
 	exit 1
 fi