# HG changeset patch
# User wenzelm
# Date 1477314991 -7200
# Node ID 68ace7f3d78f9665ed6eb8ab4744183055616f50
# Parent  74a2af7c5145ebb4442a189121c9eb7292f3b098
more thorough cleanup of lib/classes -- it may contain broken Pure.jar or copies of Scala libraries (in historic versions);

diff -r 74a2af7c5145 -r 68ace7f3d78f src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Mon Oct 24 15:00:13 2016 +0200
+++ b/src/Pure/Admin/build_history.scala	Mon Oct 24 15:16:31 2016 +0200
@@ -173,10 +173,12 @@
 
       if (first_build) {
         other_isabelle.resolve_components(verbose)
+
+        if (fresh)
+          Isabelle_System.rm_tree(other_isabelle.isabelle_home + Path.explode("lib/classes"))
         other_isabelle.bash(
           "env PATH=\"" + File.bash_path(Path.explode("~~/lib/dummy_stty").expand) + ":$PATH\" " +
-            "bin/isabelle jedit -b" + (if (fresh) " -f" else ""),
-          redirect = true, echo = verbose).check
+            "bin/isabelle jedit -b", redirect = true, echo = verbose).check
 
         Isabelle_System.rm_tree(isabelle_base_log)
       }