--- a/make/jprt.properties Mon Jun 29 17:17:56 2015 -0700
+++ b/make/jprt.properties Tue Jun 30 11:20:42 2015 -0700
@@ -123,11 +123,11 @@
${my.i586.default.build.configure.args} \
${jprt.productOpen.build.configure.args}
-jprt.windows_i586_6.2.build.configure.args= \
- --with-toolchain-version=2013 \
+jprt.windows_i586.build.configure.args= \
+ --with-devkit=$VS2013_HOME \
${jprt.i586.build.configure.args}
-jprt.windows_x64_6.2.build.configure.args= \
- --with-toolchain-version=2013
+jprt.windows_x64.build.configure.args= \
+ --with-devkit=$VS2013_HOME
########
#