Also detect VS2017

FStarLang · Mar 28, 2017 · a59694c · a59694c
1 parent f1f72f2
commit a59694c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/misc/cl-wrapper.bat b/misc/cl-wrapper.bat
@@ -1,6 +1,8 @@
 @echo off
 
-IF NOT "%VS140COMNTOOLS%"=="" (
+IF NOT "%VS150COMNTOOLS%"=="" (
+  call "%VS150COMNTOOLS%/../../VC/vcvarsall.bat" amd64
+) ELSE IF NOT "%VS140COMNTOOLS%"=="" (
   call "%VS140COMNTOOLS%/../../VC/vcvarsall.bat" amd64
 ) ELSE IF NOT "%VS120COMNTOOLS%"=="" (
   call "%VS120COMNTOOLS%/../../VC/vcvarsall.bat" amd64