update push script: remove bashisms

* [[ and == are bash-only. /bin/sh does not necessarily default to bash Change-Id: I2e47f514568fc8cc94f387c82a86bea141345ba5
2020-12-28 11:09:08 +01:00 · 2020-12-28 11:09:08 +01:00 · 29ca6e5f3f
commit 29ca6e5f3f
parent ffe5b527f6
1 changed files with 1 additions and 1 deletions
--- 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