author | erikj |
Fri, 02 Oct 2015 17:33:42 +0200 | |
changeset 33033 | 74889aa3f5af |
parent 32812 | 7a2d9c874229 |
child 33034 | 7d4a8d4c3f24 |
--- 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 ######## #