MerryMage 45fdcdd632 travis: An error in docker.sh should not result in success ...

Closes #3022.

2017-10-21 23:58:18 +01:00

..

build.sh

…

deps.sh

…

docker.sh

…

upload.sh

…