make/jprt.properties

*** 119,129 ****
  jprt.i586.fastdebugOpen.build.configure.args=                           \
      ${my.i586.default.build.configure.args}                             \
      ${jprt.fastdebugOpen.build.configure.args}
  jprt.i586.productOpen.build.configure.args=                             \
      ${my.i586.default.build.configure.args}                             \
!     ${jprt.productOpen.build.configure.args}jprt.windows_i586.build.configure.args= \
      --with-devkit=$VS2013_HOME \
      ${jprt.i586.build.configure.args}
  jprt.windows_x64.build.configure.args= \
      --with-devkit=$VS2013_HOME
  
--- 119,130 ----
  jprt.i586.fastdebugOpen.build.configure.args=                           \
      ${my.i586.default.build.configure.args}                             \
      ${jprt.fastdebugOpen.build.configure.args}
  jprt.i586.productOpen.build.configure.args=                             \
      ${my.i586.default.build.configure.args}                             \
!     ${jprt.productOpen.build.configure.args}
! jprt.windows_i586.build.configure.args=                                 \
      --with-devkit=$VS2013_HOME                                          \
      ${jprt.i586.build.configure.args}
  jprt.windows_x64.build.configure.args=                                  \
      --with-devkit=$VS2013_HOME