changeset 76548 | 0af64cc2eee9 |
parent 76547 | 9fe5d8c70352 |
child 77047 | 39f8051f71d4 |
--- a/src/Pure/Admin/build_jdk.scala Wed Nov 30 21:53:55 2022 +0100 +++ b/src/Pure/Admin/build_jdk.scala Wed Nov 30 22:07:59 2022 +0100 @@ -89,9 +89,7 @@ /* settings */ - File.write(component_dir.settings, - """# -*- shell-script -*- :mode=shellscript: - + component_dir.write_settings(""" case "$ISABELLE_PLATFORM_FAMILY" in linux) ISABELLE_JAVA_PLATFORM="$ISABELLE_PLATFORM64"