changeset 76548 | 0af64cc2eee9 |
parent 76547 | 9fe5d8c70352 |
child 77510 | f5d6cd98b16a |
--- a/src/Pure/Admin/build_vampire.scala Wed Nov 30 21:53:55 2022 +0100 +++ b/src/Pure/Admin/build_vampire.scala Wed Nov 30 22:07:59 2022 +0100 @@ -95,9 +95,7 @@ /* settings */ - File.write(component_dir.settings, - """# -*- shell-script -*- :mode=shellscript: - + component_dir.write_settings(""" VAMPIRE_HOME="$COMPONENT/$ISABELLE_PLATFORM64" ISABELLE_VAMPIRE="$VAMPIRE_HOME/vampire"