[CONFIGURE] Add CL version 19.12.* (VS 15 / 2017) to configure.cmd

diff --git a/configure.cmd b/configure.cmd
index 922a8f1..8415dda 100755 (executable)
--- a/configure.cmd
+++ b/configure.cmd
@@ -60,6 +60,7 @@ if defined ROS_ARCH (
     cl 2>&1 | find "19.00." > NUL && set VS_VERSION=14
     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.00." > NUL && set VS_VERSION=14
     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

     if not defined VS_VERSION (
         echo Error: Visual Studio version too old or version detection failed.
         endlocal
     if not defined VS_VERSION (
         echo Error: Visual Studio version too old or version detection failed.
         endlocal