diff options
| author | Jorge Aparicio <japaricious@gmail.com> | 2017-04-11 23:12:06 -0500 |
|---|---|---|
| committer | Jorge Aparicio <japaricious@gmail.com> | 2017-04-11 23:19:14 -0500 |
| commit | 6af1873922edefaae93159cda6bba08884f0bb60 (patch) | |
| tree | 806c65ce71375fbbb371180382bca969720c7fa8 /ci/script.sh | |
| parent | 5ae7d5f6e0171eaf7796ed89e5778b78f691d654 (diff) | |
add CI
Diffstat (limited to 'ci/script.sh')
| -rw-r--r-- | ci/script.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/ci/script.sh b/ci/script.sh new file mode 100644 index 0000000..9f83f3f --- /dev/null +++ b/ci/script.sh @@ -0,0 +1,13 @@ +set -ex + +main() { + if [ $TARGET = x86_64-unknown-linux-gnu ]; then + cargo test + return + fi + + cross build --target $TARGET + cross build --target $TARGET --release +} + +main |