# HG changeset patch
# User wenzelm
# Date 1609869324 -3600
# Node ID 21af3a90d19463161ec892b2d22df5b43d097122
# Parent  f0180048d5ff874e8b44aeff97954c8925cdb934
tuned signature;

diff -r f0180048d5ff -r 21af3a90d194 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Jan 05 18:51:05 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Jan 05 18:55:24 2021 +0100
@@ -246,10 +246,11 @@
   }
 
 
-  /* Isabelle_app script */
+  /* Isabelle application script */
 
-  def isabelle_app_script(classpath: List[Path], jdk_component: String): String =
-    """#!/usr/bin/env bash
+  def make_isabelle_app(path: Path, classpath: List[Path], jdk_component: String)
+  {
+    val script = """#!/usr/bin/env bash
 #
 # Author: Makarius
 #
@@ -281,9 +282,12 @@
   "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
   isabelle.Main "$@"
 """
+    File.write(path, script)
+    File.set_executable(path, true)
+  }
 
 
-    /* main */
+  /* main */
 
   private val default_platform_families: List[Platform.Family.Value] =
     List(Platform.Family.linux, Platform.Family.windows, Platform.Family.macos)
@@ -546,9 +550,9 @@
             File.write(isabelle_target + Path.explode("Isabelle.options"),
               terminate_lines(java_options_title :: java_options))
 
-            val isabelle_app = isabelle_target + Path.explode("lib/scripts/Isabelle_app")
-            File.write(isabelle_app, isabelle_app_script(classpath, jdk_component))
-            File.set_executable(isabelle_app, true)
+            make_isabelle_app(
+              isabelle_target + Path.explode("lib/scripts/Isabelle_app"),
+              classpath, jdk_component)
 
             val linux_app = isabelle_target + Path.explode("contrib/linux_app")
             File.move(linux_app + Path.explode("Isabelle"),