tree 6283b2e329e105095daa875b55962be5aa80f7e3
parent e335816bf68ac30d5642c737792d91af193915a6
author Gilles Peskine <Gilles.Peskine@arm.com> 1587899575 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1587978882 +0000

Travis: Windows: target Visual Studio 2017

Only the Visual Studio 2017 toolset is currently preinstalled on Travis.
Use this, instead of our solution's default which is VS 2010.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>