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 /ci/install.sh | |
| parent | c631049efcadca8b07940c794cce2be58fa48444 (diff) | |
fix TRAVIS_PULL_REQUEST logic
Diffstat (limited to 'ci/install.sh')
| -rw-r--r-- | ci/install.sh | 2 |
1 files changed, 1 insertions, 1 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 |