tree 88bf3493b06ab598e0d6294a31a4681ab60ca7c7
parent 3160a3f8201478da265c24070588ce45ee13fefb
author Davide Pesavento <davide.pesavento@lip6.fr> 1515570110 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1515570527 -0500

ci: update Travis-CI configuration

 * Add clang-6.0 to the build matrix (allowed to fail)
 * Upgrade xcode9 to xcode9.2
 * Various simplifications

Change-Id: I626006f79bbb7a1a79ec804c66ef30fef1e7cfd2