# HG changeset patch
# User erikj
# Date 1443800022 -7200
# Node ID 74889aa3f5af80f0fc08b2bf979c831e0b98826e
# Parent  7a2d9c8742292147aeb47b2f75c9dc16f0b0fe16
8138739: Enable devkit on macosx in JPRT (again)
Reviewed-by: ihse

diff -r 7a2d9c874229 -r 74889aa3f5af make/jprt.properties
--- a/make/jprt.properties	Mon Sep 28 13:10:03 2015 -0700
+++ b/make/jprt.properties	Fri Oct 02 17:33:42 2015 +0200
@@ -127,6 +127,8 @@
     ${jprt.i586.build.configure.args}
 jprt.windows_x64.build.configure.args=					\
     --with-devkit=$VS2013_HOME
+jprt.macosx_x64.build.configure.args=                    \
+    --with-devkit=$XCODE_511_HOME
 
 ########
 #