changeset 73786 | 18d80cd51823 |
parent 73777 | 52e43a93d51f |
child 73804 | 451fc6be6c5b |
--- a/src/Pure/Tools/build.scala Tue May 25 23:37:32 2021 +0200 +++ b/src/Pure/Tools/build.scala Tue May 25 23:58:49 2021 +0200 @@ -535,7 +535,6 @@ var base_sessions: List[String] = Nil var select_dirs: List[Path] = Nil - var log: Logger = No_Logger var numa_shuffling = false var presentation = Presentation.Context.none var requirements = false