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

Closes #3022.

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

..

clang-format

travis: Split build scripts for different platforms

2017-10-07 12:10:03 +01:00

common

travis: Split build scripts for different platforms

2017-10-07 12:10:03 +01:00

linux

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

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

macos

travis: Split build scripts for different platforms

2017-10-07 12:10:03 +01:00