src/Pure/Tools/build.scala
changeset 68734 c14a2cc9b5ef
parent 68731 c2dcb7f7a3ef
child 68928 835e5d45359c
     1.1 --- a/src/Pure/Tools/build.scala	Wed Aug 01 19:48:58 2018 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Wed Aug 01 20:58:41 2018 +0200
     1.3 @@ -492,7 +492,7 @@
     1.4      store.prepare_output_dir()
     1.5  
     1.6      if (clean_build) {
     1.7 -      for (name <- full_sessions.build_descendants(full_sessions.build_selection(selection1))) {
     1.8 +      for (name <- full_sessions.imports_descendants(full_sessions.imports_selection(selection1))) {
     1.9          val (relevant, ok) = store.clean_output(name)
    1.10          if (relevant) {
    1.11            if (ok) progress.echo("Cleaned " + name)