make/jprt.properties
changeset 31766 3f6852163e6d
parent 31576 e9ea6d99c16c
child 33935 32c3292b80db
child 33029 06a8c5e5959b
child 33033 74889aa3f5af
equal deleted inserted replaced
31765:67d0d016d33a 31766:3f6852163e6d
   119 jprt.i586.fastdebugOpen.build.configure.args=				\
   119 jprt.i586.fastdebugOpen.build.configure.args=				\
   120     ${my.i586.default.build.configure.args}				\
   120     ${my.i586.default.build.configure.args}				\
   121     ${jprt.fastdebugOpen.build.configure.args}
   121     ${jprt.fastdebugOpen.build.configure.args}
   122 jprt.i586.productOpen.build.configure.args=				\
   122 jprt.i586.productOpen.build.configure.args=				\
   123     ${my.i586.default.build.configure.args}				\
   123     ${my.i586.default.build.configure.args}				\
   124     ${jprt.productOpen.build.configure.args}jprt.windows_i586.build.configure.args= \
   124     ${jprt.productOpen.build.configure.args}
   125     --with-devkit=$VS2013_HOME \
   125 jprt.windows_i586.build.configure.args=					\
       
   126     --with-devkit=$VS2013_HOME						\
   126     ${jprt.i586.build.configure.args}
   127     ${jprt.i586.build.configure.args}
   127 jprt.windows_x64.build.configure.args= \
   128 jprt.windows_x64.build.configure.args=					\
   128     --with-devkit=$VS2013_HOME
   129     --with-devkit=$VS2013_HOME
   129 
   130 
   130 ########
   131 ########
   131 #
   132 #
   132 # Build targets and options (default/jdk)
   133 # Build targets and options (default/jdk)