diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-02-08 11:54:41 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-02-08 11:54:41 +0100 |
| commit | e7586f4a8abf6204ae505cdd541f80d08051b617 (patch) | |
| tree | d4921a45aa3f6b7df0ee74aec5663dc862536fb1 /ci | |
| parent | 60478f3623340c96c955b04cfc03a40f42536660 (diff) | |
impl Default for Duration
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/script.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ci/script.sh b/ci/script.sh index 0244c58..3dd60de 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -118,6 +118,10 @@ if [ -z ${TRAVIS_RUST_VERSION-} ]; then esac fi +if [ -z ${TARGET-} ]; then + TARGET=$(rustc -Vv | grep host | cut -d ' ' -f2) +fi + if [ $TRAVIS_BRANCH != master ] || [ $TRAVIS_PULL_REQUEST != false ]; then main fi |