summaryrefslogtreecommitdiff
path: root/toolchain/download.sh
diff options
context:
space:
mode:
authorAnton Kling <anton@kling.gg>2023-10-22 19:50:38 +0200
committerAnton Kling <anton@kling.gg>2023-10-22 19:50:38 +0200
commit4e09bca9e34c226b6d7e34b4fa11248405fd988e (patch)
tree80f156b7940d9d19971395f335530170c69516c7 /toolchain/download.sh
Move everything into a new repo.
Diffstat (limited to 'toolchain/download.sh')
-rwxr-xr-xtoolchain/download.sh9
1 files changed, 9 insertions, 0 deletions
diff --git a/toolchain/download.sh b/toolchain/download.sh
new file mode 100755
index 0000000..770e812
--- /dev/null
+++ b/toolchain/download.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+[ -f "$BIN.sig" ] && gpg --verify $BIN.sig $BIN && exit 0
+[ -f "$BIN.sig" ] || wget "$URL/$BIN.sig"
+[ -f "$BIN" ] && gpg --verify $BIN.sig $BIN && exit 0
+wget "$URL/$BIN"
+gpg --verify $BIN.sig $BIN && exit 0
+rm $BIN
+echo "Signature failed"
+exit 1