From ae83125c95dc7fd5ff5f79c6ddb74a451cde14af Mon Sep 17 00:00:00 2001
From: Robin Mills <robin@clanmills.com>
Date: Sun, 28 Dec 2014 16:01:51 +0000
Subject: [PATCH] trunk: similar to r3492

---
 jenkins_build.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/jenkins_build.sh b/jenkins_build.sh
index c3614254..206ccd36 100755
--- a/jenkins_build.sh
+++ b/jenkins_build.sh
@@ -152,8 +152,10 @@ case "$build" in
         # I've given up:
         # 1. trying to get Cygwin to build with gettext and friends
         # 2. trying to get Cygwin to install into a local directory
-        echo ./configure ${withcurl} ${withssh}
-             ./configure ${withcurl} ${withssh}
+        make distclean
+        make config
+        echo ./configure ${withcurl} ${withssh} --disable-nls
+             ./configure ${withcurl} ${withssh} --disable-nls
         make -j4
         # result=$?
         make install