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