From be41b8dbd502ed897d1de034cb040fd2c291ad76 Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Mon, 29 Sep 2025 14:10:18 +0200
Subject: [PATCH] Faster makedist

---
 makedist.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/makedist.sh b/makedist.sh
index bc28b1dd..1c7998b4 100755
--- a/makedist.sh
+++ b/makedist.sh
@@ -21,6 +21,10 @@ if ! ./configure.windows-x86 $DEBUG; then
 	exit 1
 fi
 
+if ! make -j4; then
+	exit 1
+fi
+
 if ! make distwindows-x86 distclean; then
 	exit 1
 fi
@@ -44,4 +48,3 @@ fi
 if ! make dist; then
 	exit 1
 fi
-