make/jprt.properties
changeset 31326 4e7196149801
parent 31325 51d168fe1fd0
parent 31307 907f3a41efe9
child 33932 6ffbe66fe204
child 31575 cf1261b1937f
--- 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
 
 ########
 #