Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build.scala
changeset 68734 c14a2cc9b5ef
parent 68731 c2dcb7f7a3ef
child 68928 835e5d45359c 
--- a/src/Pure/Tools/build.scala	Wed Aug 01 19:48:58 2018 +0200
+++ b/src/Pure/Tools/build.scala	Wed Aug 01 20:58:41 2018 +0200
@@ -492,7 +492,7 @@
     store.prepare_output_dir()
 
     if (clean_build) {
-      for (name <- full_sessions.build_descendants(full_sessions.build_selection(selection1))) {
+      for (name <- full_sessions.imports_descendants(full_sessions.imports_selection(selection1))) {
         val (relevant, ok) = store.clean_output(name)
         if (relevant) {
           if (ok) progress.echo("Cleaned " + name)
isabelle