diff options
| author | Ivan Dubrov <idubrov@guidewire.com> | 2014-04-25 16:35:02 -0700 |
|---|---|---|
| committer | Ivan Dubrov <idubrov@guidewire.com> | 2014-04-25 16:35:02 -0700 |
| commit | 7c770eab8cd296acc8ee250fd806ed71e4b956a6 (patch) | |
| tree | f17a3ad554439b73a9c79996a54a4235dead2c91 /build.gradle | |
| parent | 3c65e32f0af354db771c8b4cc1c840ec37a60407 (diff) | |
| download | dcevm-7c770eab8cd296acc8ee250fd806ed71e4b956a6.tar.gz dcevm-7c770eab8cd296acc8ee250fd806ed71e4b956a6.zip | |
Overwrite JRE when copying
Diffstat (limited to 'build.gradle')
| -rw-r--r-- | build.gradle | 3 |
1 files changed, 2 insertions, 1 deletions
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') |