From e3c7ca0c531f4443c931f30b14aee33ee47dd10e Mon Sep 17 00:00:00 2001 From: Jonathan Gibbons Date: Mon, 13 Sep 2010 11:40:58 -0700 Subject: [PATCH] 6978974: [langtools] task should use ${target.java.home} Reviewed-by: mcimadamore --- langtools/make/build.xml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/langtools/make/build.xml b/langtools/make/build.xml index 7e2041acb55..ec3aaf8763e 100644 --- a/langtools/make/build.xml +++ b/langtools/make/build.xml @@ -275,6 +275,7 @@ failOnError="false" errorProperty="findbugs.all.errors" warningsProperty="findbugs.all.warnings" + jvm="${target.java.home}/bin/java" jvmargs="-Xmx512M"> @@ -938,7 +939,8 @@ - + @@ -958,6 +960,7 @@ failOnError="false" errorProperty="findbugs.@{name}.errors" warningsProperty="findbugs.@{name}.warnings" + jvm="${target.java.home}/bin/java" jvmargs="-Xmx512M" >