diff options
Diffstat (limited to 'panic-semihosting/ci/script.sh')
| -rw-r--r-- | panic-semihosting/ci/script.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/panic-semihosting/ci/script.sh b/panic-semihosting/ci/script.sh deleted file mode 100644 index eb1a313..0000000 --- a/panic-semihosting/ci/script.sh +++ /dev/null @@ -1,11 +0,0 @@ -set -euxo pipefail - -main() { - cargo check --target $TARGET - - if [ $TRAVIS_RUST_VERSION = nightly ]; then - cargo check --target $TARGET --features inline-asm - fi -} - -main |