From 4c149b0d240b0dedb32dd0bd428bed37d807b5cd Mon Sep 17 00:00:00 2001
From: Francesco Siddi <francesco.siddi@gmail.com>
Date: Fri, 17 Mar 2017 12:02:05 +0100
Subject: [PATCH] Use -W instead of -w for ping in deploy.sh

Use the waittime argument instead of deadline, since the latter is not supported on macOS.
---
 deploy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deploy.sh b/deploy.sh
index c5c4188..52c21fb 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -11,7 +11,7 @@ esac
 
 echo -n "Deploying to ${DEPLOYHOST}... "
 
-if ! ping ${DEPLOYHOST} -q -c 1 -w 2 >/dev/null; then
+if ! ping ${DEPLOYHOST} -q -c 1 -W 2 >/dev/null; then
     echo "host ${DEPLOYHOST} cannot be pinged, refusing to deploy." >&2
     exit 2
 fi