Denis Rouzaud 397194a0ba

reflect increase of Travis build times in timeouts ...

we are benefiting from increased build times since about 3 months...time to update the scripts!

2019-01-23 13:42:24 -05:00

..

code_layout

[docker] simpler configuration to provide different build options

2018-11-16 22:01:44 +01:00

linux

reflect increase of Travis build times in timeouts

2019-01-23 13:42:24 -05:00

macos

…

scripts

[docker] simpler configuration to provide different build options

2018-11-16 22:01:44 +01:00

travis.ctest

…