From 0ce87167cc3918f0174dcbc0ca2f13f5751b38e4 Mon Sep 17 00:00:00 2001 From: Thomas Faber Date: Sat, 17 Mar 2018 16:41:46 +0100 Subject: [PATCH] [CONFIGURE] Add support for VS2017 Update 3. --- configure.cmd | 1 + 1 file changed, 1 insertion(+) diff --git a/configure.cmd b/configure.cmd index 4d550d57441..5253daa3604 100755 --- a/configure.cmd +++ b/configure.cmd @@ -70,6 +70,7 @@ if defined ROS_ARCH ( cl 2>&1 | find "19.10." > NUL && set VS_VERSION=15 cl 2>&1 | find "19.11." > NUL && set VS_VERSION=15 cl 2>&1 | find "19.12." > NUL && set VS_VERSION=15 + cl 2>&1 | find "19.13." > NUL && set VS_VERSION=15 if not defined VS_VERSION ( echo Error: Visual Studio version too old or version detection failed. goto quit