From 4e09bca9e34c226b6d7e34b4fa11248405fd988e Mon Sep 17 00:00:00 2001
From: Anton Kling <anton@kling.gg>
Date: Sun, 22 Oct 2023 19:50:38 +0200
Subject: Move everything into a new repo.

---
 toolchain/download.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 toolchain/download.sh

(limited to 'toolchain/download.sh')

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
-- 
cgit v1.2.3