+function DoWindowsBuild {
+ set -o errexit
+
+ # test if the target machine is online
+ if ping -q -c1 -w1 $WIN_HOST > /dev/null; then
+ echo "-----------------------------------------------------------------"
+ echo " The $WIN_HOST machine is online, Windows build continuing..."
+ echo "-----------------------------------------------------------------"
+ else
+ echo "-----------------------------------------------------------------"
+ echo "The $WIN_HOST machine is offline, skipping the Windows build."
+ echo "-----------------------------------------------------------------"
+ return 0
+ fi