--- a/src/Pure/Admin/build_history.scala Fri Oct 14 20:07:22 2016 +0200
+++ b/src/Pure/Admin/build_history.scala Fri Oct 14 20:53:10 2016 +0200
@@ -119,7 +119,7 @@
{
/* sanity checks */
- if (File.eq(Path.explode("~~").file, hg.root.file))
+ if (File.eq(Path.explode("~~"), hg.root))
error("Repository coincides with ISABELLE_HOME=" + Path.explode("~~").expand)
for (threads <- threads_list if threads < 1) error("Bad threads value < 1: " + threads)
@@ -170,10 +170,10 @@
"bin/isabelle jedit -b" + (if (fresh) " -f" else ""),
redirect = true, echo = verbose).check
- Isabelle_System.rm_tree(isabelle_base_log.file)
+ Isabelle_System.rm_tree(isabelle_base_log)
}
- Isabelle_System.rm_tree(isabelle_output.file)
+ Isabelle_System.rm_tree(isabelle_output)
Isabelle_System.mkdirs(isabelle_output)