src/Pure/Tools/build.scala
changeset 74042 18d80cd51823
parent 74033 52e43a93d51f
child 74061 451fc6be6c5b
equal deleted inserted replaced
74041:b5fb99b985b4 74042:18d80cd51823
   533   {
   533   {
   534     val build_options = Word.explode(Isabelle_System.getenv("ISABELLE_BUILD_OPTIONS"))
   534     val build_options = Word.explode(Isabelle_System.getenv("ISABELLE_BUILD_OPTIONS"))
   535 
   535 
   536     var base_sessions: List[String] = Nil
   536     var base_sessions: List[String] = Nil
   537     var select_dirs: List[Path] = Nil
   537     var select_dirs: List[Path] = Nil
   538     var log: Logger = No_Logger
       
   539     var numa_shuffling = false
   538     var numa_shuffling = false
   540     var presentation = Presentation.Context.none
   539     var presentation = Presentation.Context.none
   541     var requirements = false
   540     var requirements = false
   542     var soft_build = false
   541     var soft_build = false
   543     var exclude_session_groups: List[String] = Nil
   542     var exclude_session_groups: List[String] = Nil