From 02e11256de563109ab4816bbd8a96fe11d049636 Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Sun, 29 Sep 2013 08:20:45 +0200
Subject: [PATCH] Adds a faster distribution with -f without checking.

---
 makedist.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/makedist.sh b/makedist.sh
index 5a09a34d..84f0df9f 100755
--- a/makedist.sh
+++ b/makedist.sh
@@ -7,7 +7,13 @@ if ! ./configure.windows-x86; then
 	exit 1
 fi
 
-if ! make check distwindows-x86 distclean; then
+if ! test "x$1" = "x-f"; then
+	if ! make check; then
+		exit 1
+	fi
+fi
+
+if ! make distwindows-x86 distclean; then
 	exit 1
 fi