From c3ab3044e5db6668880d3891d39ab460e6a46f21 Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Thu, 12 Oct 2017 22:27:34 +0200
Subject: [PATCH] Switch Windows testing to 64 bits executable

---
 makedist.sh | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/makedist.sh b/makedist.sh
index 7741ddbf..bc28b1dd 100755
--- a/makedist.sh
+++ b/makedist.sh
@@ -5,7 +5,7 @@ CHECK=check
 DEBUG=
 
 if test "x$1" = "x-f"; then
-CHECK=clean
+CHECK=all
 fi
 
 if test "x$1" = "x-d"; then
@@ -21,10 +21,6 @@ if ! ./configure.windows-x86 $DEBUG; then
 	exit 1
 fi
 
-if ! make $CHECK; then
-	exit 1
-fi
-
 if ! make distwindows-x86 distclean; then
 	exit 1
 fi
@@ -33,6 +29,10 @@ if ! ./configure.windows-x64 $DEBUG; then
 	exit 1
 fi
 
+if ! make -j4 $CHECK; then
+	exit 1
+fi
+
 if ! make distwindows-x64 distclean; then
 	exit 1
 fi