author | erikj |
Tue, 30 Jun 2015 09:51:08 +0200 | |
changeset 31307 | 907f3a41efe9 |
parent 31306 | 1755c790b94f |
child 31312 | 74e504d86cc9 |
--- a/make/jprt.properties Mon Jun 29 11:00:10 2015 +0200 +++ b/make/jprt.properties Tue Jun 30 09:51:08 2015 +0200 @@ -128,8 +128,6 @@ ${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 ######## #