Use curl for atomix-push-bits script
Change-Id: I20d7019f56255b5a643b9b9c72ef8110837d572d
(cherry picked from commit df5016de988859d06cf705defb093ad7480a7fe4)
diff --git a/tools/test/bin/atomix-push-bits b/tools/test/bin/atomix-push-bits
index ffeaf2e..f50eec3 100755
--- a/tools/test/bin/atomix-push-bits
+++ b/tools/test/bin/atomix-push-bits
@@ -47,7 +47,7 @@
else
echo "Pushing to $node from $ATOMIX_LOCAL"
if [ ! -f "$ATOMIX_LOCAL" ]; then
- wget -O $ATOMIX_LOCAL $ATOMIX_REMOTE
+ curl -o $ATOMIX_LOCAL $ATOMIX_REMOTE
fi
ATOMIX_TAR=$ATOMIX_LOCAL
fi