From 7c770eab8cd296acc8ee250fd806ed71e4b956a6 Mon Sep 17 00:00:00 2001 From: Ivan Dubrov Date: Fri, 25 Apr 2014 16:35:02 -0700 Subject: [PATCH] Overwrite JRE when copying --- build.gradle | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index 77b0f086..1b7cb0b6 100644 --- a/build.gradle +++ b/build.gradle @@ -25,7 +25,8 @@ project('hotspot') { task prepareJvm { onlyIf { jreFile.canonicalPath != targetJreFile.canonicalPath } doLast { - ant.copy(todir: targetJreFile) { + // FIXME: We probably should check if source path is different and delete old JRE in that case + ant.copy(todir: targetJreFile, overwrite: true) { fileset(dir: jreFile) } ant.chmod(file: new File(targetJreFile, 'bin/java'), perm: '0755') -- 2.39.5