diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2018-11-03 17:23:04 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2018-11-03 17:23:04 +0100 |
| commit | d6c26fd21f1e500abc2366f9ce3222cdc9b69689 (patch) | |
| tree | 4a9d5748e56827156895116a5341a1043da83e8b | |
| parent | c631049efcadca8b07940c794cce2be58fa48444 (diff) | |
fix TRAVIS_PULL_REQUEST logic
| -rw-r--r-- | ci/install.sh | 2 | ||||
| -rw-r--r-- | ci/script.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/ci/install.sh b/ci/install.sh index 9a896b9..20bdd50 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -10,6 +10,6 @@ main() { chmod +x qemu/qemu-system-arm } -if [ $TRAVIS_BRANCH != master ] || [ $TRAVIS_PULL_REQUEST = true ]; then +if [ $TRAVIS_BRANCH != master ] || [ $TRAVIS_PULL_REQUEST != false ]; then main fi diff --git a/ci/script.sh b/ci/script.sh index 7502b85..5fc3ca2 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -90,6 +90,6 @@ if [ -z ${TRAVIS_RUST_VERSION-} ]; then esac fi -if [ $TRAVIS_BRANCH != master ] || [ $TRAVIS_PULL_REQUEST = true ]; then +if [ $TRAVIS_BRANCH != master ] || [ $TRAVIS_PULL_REQUEST != false ]; then main fi |