From ab710f7ed3bbb9348efab205d97adfc85ff7f92f Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Thu, 21 Apr 2016 04:07:19 +0000
Subject: [PATCH] CI: work around transient OS X failures.

Travis OS X builders randomly break in ways that aren't reproducible
outside of their VMs, have no Google hits, and are very aggravating;
the two common ones are:
  * hdiutil: create failed - Resource busy
  * make[2]: write error

This commit drags SNR back into a tolerable range with a gross hack.
---
 .travis/build-macos.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.travis/build-macos.sh b/.travis/build-macos.sh
index 5837297..f6fe8f6 100755
--- a/.travis/build-macos.sh
+++ b/.travis/build-macos.sh
@@ -5,4 +5,10 @@ if echo $TRAVIS_TAG | grep ^release-; then BUILD_TYPE=RelWithDebInfo; else BUILD
 mkdir build
 cd build
 cmake -DCMAKE_OSX_DEPLOYMENT_TARGET=10.7 -DCMAKE_BUILD_TYPE=$BUILD_TYPE ..
-make VERBOSE=1
+if ! make VERBOSE=1; then
+  echo "Sigh, transient build failure. Retrying..."
+  if ! make VERBOSE=1; then
+    echo "Okay, this is probably an actual bug."
+    exit 1
+  fi
+fi