126 jprt.linux_i586.build.configure.args=					\

   126 jprt.linux_i586.build.configure.args=					\

   127     --with-devkit=$GCC492_OEL64_HOME					\

   127     --with-devkit=$GCC492_OEL64_HOME					\

   128     ${jprt.i586.build.configure.args}

   128     ${jprt.i586.build.configure.args}

   129 jprt.linux_x64.build.configure.args=					\

   129 jprt.linux_x64.build.configure.args=					\

   130     --with-devkit=$GCC492_OEL64_HOME

   130     --with-devkit=$GCC492_OEL64_HOME

   131 jprt.windows_i586.build.configure.args=					\

   133 jprt.windows_i586.build.configure.args=					\

   132     --with-devkit=$VS2013SP4_HOME					\

   134     --with-devkit=$VS2013SP4_HOME					\

   133     ${jprt.i586.build.configure.args}

   135     ${jprt.i586.build.configure.args}

   134 jprt.windows_x64.build.configure.args=					\

   136 jprt.windows_x64.build.configure.args=					\

   135     --with-devkit=$VS2013SP4_HOME

   137     --with-devkit=$VS2013SP4_HOME

   138 

   138 

   139 ########

   139 ########

   140 #

   140 #

   141 # Build targets and options (default/jdk)

   141 # Build targets and options (default/jdk)

   142 #

   142 #