# HG changeset patch
# User wenzelm
# Date 1601320487 -7200
# Node ID 9bb16dcb9ed8bbfae6eac4c911b3346d6ddc96f6
# Parent  09d1d73321855381a6b1f1d5db200f14ee3b67a8
unused (see 7b318273a4aa);

diff -r 09d1d7332185 -r 9bb16dcb9ed8 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Mon Sep 28 17:43:31 2020 +0200
+++ b/src/Pure/Tools/build.scala	Mon Sep 28 21:14:47 2020 +0200
@@ -169,7 +169,6 @@
     private val graph_file = Isabelle_System.tmp_file("session_graph", "pdf")
     graphview.Graph_File.write(options, graph_file, deps(session_name).session_graph_display)
 
-    private val export_tmp_dir = Isabelle_System.tmp_dir("export")
     private val export_consumer =
       Export.consumer(store.open_database(session_name, output = true), cache = store.xz_cache)
 
@@ -201,7 +200,6 @@
 
         val env =
           Isabelle_System.settings() +
-            ("ISABELLE_EXPORT_TMP" -> File.standard_path(export_tmp_dir)) +
             ("ISABELLE_ML_DEBUGGER" -> options.bool("ML_debugger").toString)
 
         val is_pure = Sessions.is_pure(session_name)
@@ -413,8 +411,6 @@
           case errs => result0.errors(errs).error_rc
         }
 
-      Isabelle_System.rm_tree(export_tmp_dir)
-
       if (result1.ok)
         Present.finish(progress, store.browser_info, graph_file, info, session_name)