diff options
Diffstat (limited to 'panic-semihosting/ci/install.sh')
| -rw-r--r-- | panic-semihosting/ci/install.sh | 9 |
1 files changed, 9 insertions, 0 deletions
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 |