Merge commit '82fea30fcce1d169de7ec42be84d079e0899519c' into feature/update-dependenies

2026-04-24 00:00:05 +08:00 · 2018-01-08 11:44:56 +03:00
parent 9ce5e4c989 82fea30fcc
commit 31ceba3bd6
437 changed files with 7377 additions and 2864 deletions
@@ -0,0 +1,30 @@
+function check_download()
+{
+  if [ -f $DL/$FNAME ]; then
+    CHECK=$(sha256sum $DL/$FNAME |awk '{printf $1};')
+    if [ "$CHECK" == "$CSUM" ]; then
+      return 0
+    else
+      echo "Checksum mismatch for $FNAME. Was $CHECK, expected $CSUM"
+    fi
+  else
+    echo "$FNAME not found."
+  fi
+
+  return -1
+}
+
+function download()
+{
+  check_download && return 0
+
+  rm -f $DL/$FNAME
+  if [ -n "$URL" ]; then
+    wget $URL -O $DL/$FNAME
+  else
+    echo URL must be specified
+    exit 1
+  fi
+
+  check_download || return -1
+}