From e8caf7d590a6a63ab286e323169c45f8330cadbd Mon Sep 17 00:00:00 2001 From: Damian Minkov Date: Thu, 7 Nov 2013 10:08:24 +0200 Subject: [PATCH] Activates jre embedding. --- resources/install/installers.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/install/installers.properties b/resources/install/installers.properties index c97215ff0..132c281dc 100644 --- a/resources/install/installers.properties +++ b/resources/install/installers.properties @@ -16,4 +16,4 @@ windows.jre64.file=C:\\Install\\jre-7u17-windows-x64.exe windows.jre.zip=C:\\Install\\jre-7u45-windows-i586.zip windows.jre64.zip=C:\\Install\\jre-7u45-windows-x64.zip -#macosx.jre=${user.home}/bin/jdk1.7.0_45.jdk +macosx.jre=${user.home}/bin/jdk1.7.0_45.jdk