src/Pure/Tools/build.scala
changeset 60959 3565c9f407ec
parent 60958 5d70b5c509f8
child 60988 1d7a7e33fd67
     1.1 --- a/src/Pure/Tools/build.scala	Mon Aug 17 21:22:55 2015 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Mon Aug 17 21:32:41 2015 +0200
     1.3 @@ -590,16 +590,11 @@
     1.4                  (info.chapter, (name, theories)))))))))))
     1.5          }))
     1.6  
     1.7 -    private val env0 =
     1.8 +    private val env =
     1.9        Map("INPUT" -> parent, "TARGET" -> name, "OUTPUT" -> Isabelle_System.standard_path(output),
    1.10          (if (is_pure(name)) "ISABELLE_PROCESS_OPTIONS" else "ARGS_FILE") ->
    1.11            Isabelle_System.posix_path(args_file))
    1.12  
    1.13 -    private val env =
    1.14 -      if (is_pure(name))
    1.15 -        env0 + ("ISABELLE_ML_DEBUGGER" -> info.options.bool("ML_debugger").toString)
    1.16 -      else env0
    1.17 -
    1.18      private val script =
    1.19        if (is_pure(name)) {
    1.20          if (do_output) "./build " + name + " \"$OUTPUT\""