src/Pure/Admin/build_history.scala

 
 
       /* build */
 
       if (multicore_base && !first_build && isabelle_base_log.is_dir)
-        other_isabelle.copy_dir(isabelle_base_log, isabelle_output_log)
+        Isabelle_System.copy_dir(isabelle_base_log, isabelle_output_log)
 
       val build_start = Date.now()
       val res =
         other_isabelle("build -v " + File.bash_args(build_args), redirect = true, echo = verbose)
       val build_end = Date.now()

 
 
       /* next build */
 
       if (multicore_base && first_build && isabelle_output_log.is_dir)
-        other_isabelle.copy_dir(isabelle_output_log, isabelle_base_log)
+        Isabelle_System.copy_dir(isabelle_output_log, isabelle_base_log)
 
       first_build = false
 
       res
     }