diff options
Diffstat (limited to 'panic-semihosting/ci/install.sh')
| -rw-r--r-- | panic-semihosting/ci/install.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/panic-semihosting/ci/install.sh b/panic-semihosting/ci/install.sh deleted file mode 100644 index 3c41921..0000000 --- a/panic-semihosting/ci/install.sh +++ /dev/null @@ -1,9 +0,0 @@ -set -euxo pipefail - -main() { - if [ $TARGET != x86_64-unknown-linux-gnu ]; then - rustup target add $TARGET - fi -} - -main |