From 354ae8107687062604f07322f7752d07d6e46d9d Mon Sep 17 00:00:00 2001
From: Tomas Pluskal <plusik@gmail.com>
Date: Mon, 2 Sep 2019 20:12:26 -0400
Subject: [PATCH] Remove the 'release' file produced by jlink

---
 build.gradle | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 6ebf90ba4..d63a6e38a 100644
--- a/build.gradle
+++ b/build.gradle
@@ -176,6 +176,14 @@ tasks.withType(JavaCompile) {
     options.encoding = "UTF-8"
 }
 
+/*
+ * Remove the "release" file produced by jlink
+ */
+jre {
+    doLast {
+        delete file("${buildDir}/jre/release")
+    }
+}
 
 /*
  * Set the basic Java runtime parameters (heap size etc.)
@@ -217,7 +225,7 @@ startScripts {
  * Build the JVM runtime using jlink
  */
 runtime {
-    options = ["--compress=2", "--vm=server", "--no-header-files", "--no-man-pages"]
+    options = ["--compress=2", "--vm=server", "--no-header-files", "--no-man-pages", "--output", "jre/jre"]
     modules = ["java.desktop",
                "java.logging",
                "java.rmi",