ab710f7ed3
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.
15 lines
382 B
Bash
Executable File
15 lines
382 B
Bash
Executable File
#!/bin/sh -xe
|
|
|
|
if echo $TRAVIS_TAG | grep ^release-; then BUILD_TYPE=RelWithDebInfo; else BUILD_TYPE=Debug; fi
|
|
|
|
mkdir build
|
|
cd build
|
|
cmake -DCMAKE_OSX_DEPLOYMENT_TARGET=10.7 -DCMAKE_BUILD_TYPE=$BUILD_TYPE ..
|
|
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
|