Without set -e
that is advised against, I see apparently inconsistent behavior:
https://travis-ci.org/github/sky-map-team/stardroid/builds/738844948 shows as green (incorrectly) but
https://travis-ci.org/github/sky-map-team/stardroid/jobs/738844949 shows red (as expected).
AFAICT these two things reference the same github commit.