From 781dfd9dc44beec540023bb618cb5ccb220ca4d5 Mon Sep 17 00:00:00 2001
From: Michael Vines <mvines@gmail.com>
Date: Wed, 16 Oct 2019 10:05:46 -0700
Subject: [PATCH] Drop non-standard ping -o option

---
 net/net.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/net/net.sh b/net/net.sh
index 90a783d6ab..876d1c3780 100755
--- a/net/net.sh
+++ b/net/net.sh
@@ -851,7 +851,7 @@ checkPremptibleInstances() {
   for ipAddress in "${fullnodeIpList[@]}"; do
     (
       set -x
-      ping -o -t 4 "$ipAddress"
+      ping -c 1 -t 4 "$ipAddress"
     ) || {
       cat <<EOF