From 29ca6e5f3ff18fb9286735637c353728e447f0b2 Mon Sep 17 00:00:00 2001
From: chrmhoffmann <chrmhoffmann@gmail.com>
Date: Mon, 28 Dec 2020 11:09:08 +0100
Subject: [PATCH] update push script: remove bashisms

* [[ and == are bash-only. /bin/sh does not necessarily default to bash

Change-Id: I2e47f514568fc8cc94f387c82a86bea141345ba5
---
 push-update.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/push-update.sh b/push-update.sh
index be5d137..8d4de88 100755
--- a/push-update.sh
+++ b/push-update.sh
@@ -39,7 +39,7 @@ id=`echo "$zip_name" | sha1sum | cut -d' ' -f1`
 version=`echo "$zip_name" | cut -d'-' -f2`
 type=`echo "$zip_name" | cut -d'-' -f4`
 build_date=`echo "$zip_name" | cut -d'-' -f3 | cut -d'_' -f1`
-if [[ "`uname`" == "Darwin" ]]; then
+if [ "`uname`" = "Darwin" ]; then
     timestamp=`date -jf "%Y%m%d %H:%M:%S" "$build_date 23:59:59" +%s`
     size=`stat -f%z "$zip_path"`
 else