# HG changeset patch
# User wenzelm
# Date 1475658782 -7200
# Node ID b0c52944978e86ee3643b2a029425ddedbe1b0dc
# Parent  1013cf0432740647fa78a9f6f5956e30e3294d07
clean output dir for fresh rebuild;
clarified echo;

diff -r 1013cf043274 -r b0c52944978e src/Pure/Tools/build_history.scala
--- a/src/Pure/Tools/build_history.scala	Wed Oct 05 11:05:41 2016 +0200
+++ b/src/Pure/Tools/build_history.scala	Wed Oct 05 11:13:02 2016 +0200
@@ -78,6 +78,7 @@
       bash("bin/isabelle " + cmdline, redirect, echo)
 
     val isabelle_home_user = Path.explode(isabelle("getenv -b ISABELLE_HOME_USER").check.out)
+    val isabelle_output = Path.explode(isabelle("getenv -b ISABELLE_OUTPUT").check.out)
 
 
     /* reset settings */
@@ -184,7 +185,8 @@
     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
 
-    isabelle("build " + File.bash_args(build_args), redirect = true, echo = verbose)
+    Isabelle_System.rm_tree(isabelle_output.file)
+    isabelle("build " + File.bash_args(build_args), redirect = true, echo = true)
   }