# HG changeset patch
# User wenzelm
# Date 1626366574 -7200
# Node ID 778ab9983f40d9495435ea2e52d374c2d423543a
# Parent  842fc354c03168d2e93ce5e63d1127762e22527a
proper cross-platform build: jdk component is required for ISABELLE_SETUP_CLASSPATH in other_isabelle;

diff -r 842fc354c031 -r 778ab9983f40 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Thu Jul 15 18:18:07 2021 +0200
+++ b/src/Pure/Admin/build_release.scala	Thu Jul 15 18:29:34 2021 +0200
@@ -557,8 +557,6 @@
         val more_components_names =
           more_components.map(Components.unpack(contrib_dir, _, progress = progress))
 
-        Components.purge(contrib_dir, platform)
-
         activate_components(isabelle_target, platform, more_components_names)
 
 
@@ -608,6 +606,8 @@
 
         // application bundling
 
+        Components.purge(contrib_dir, platform)
+
         platform match {
           case Platform.Family.linux_arm | Platform.Family.linux =>
             File.change(isabelle_target + jedit_options,