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