From be75f7478ccf5c11505dc2f2b20377f734633303 Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kitenet.net>
Date: Sun, 19 May 2013 20:35:33 -0400
Subject: do a clean build if incremental fails

---
 standalone/windows/build.sh | 26 ++++++++++++++++++--------
 1 file changed, 18 insertions(+), 8 deletions(-)

(limited to 'standalone/windows')

diff --git a/standalone/windows/build.sh b/standalone/windows/build.sh
index 81e66f292..230ffd246 100644
--- a/standalone/windows/build.sh
+++ b/standalone/windows/build.sh
@@ -35,14 +35,24 @@ cd ..
 
 cabal install --only-dependencies -f"$FLAGS"
 
-# Build git-annex
-withcyg cabal configure -f"$FLAGS"
-withcyg cabal build
-
-# Build the installer
-cabal install nsis
-ghc --make Build/NullSoftInstaller.hs
-withcyg Build/NullSoftInstaller.exe
+runbuild () {
+	# Build git-annex
+	withcyg cabal configure -f"$FLAGS"
+	withcyg cabal build
+	
+	# Build the installer
+	cabal install nsis
+	ghc --make Build/NullSoftInstaller.hs
+	withcyg Build/NullSoftInstaller.exe
+}
+
+# Incremental build sometimes may fail, possibly because the configure
+# script has changed but cabal neglects to re-build it on Windows
+if ! runbuild; then
+	echo "Retrying after cabal clean"
+	cabal clean
+	runbuild
+fi
 
 # Test git-annex
 rm -rf .t
-- 
cgit v1.2.3