From 10b29d3a4fc43503c25fb2c7ffbeaad44c2fb103 Mon Sep 17 00:00:00 2001
From: Jonas Schievink <jonasschievink@gmail.com>
Date: Mon, 31 Aug 2020 23:16:21 +0200
Subject: Import semihosting crates as-is

---
 panic-semihosting/ci/install.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 panic-semihosting/ci/install.sh

(limited to 'panic-semihosting/ci/install.sh')

diff --git a/panic-semihosting/ci/install.sh b/panic-semihosting/ci/install.sh
new file mode 100644
index 0000000..3c41921
--- /dev/null
+++ b/panic-semihosting/ci/install.sh
@@ -0,0 +1,9 @@
+set -euxo pipefail
+
+main() {
+    if [ $TARGET != x86_64-unknown-linux-gnu ]; then
+        rustup target add $TARGET
+    fi
+}
+
+main
-- 
cgit v1.2.3