# HG changeset patch
# User wenzelm
# Date 1671294485 -3600
# Node ID fa81f218c96e793cd93102a3d1d3ab0e3356fd3b
# Parent  981801179bc50819f51f8c5e6c0858e56a18d5c0
unused;

diff -r 981801179bc5 -r fa81f218c96e src/Pure/Tools/build_job.scala
--- a/src/Pure/Tools/build_job.scala	Sat Dec 17 17:02:09 2022 +0100
+++ b/src/Pure/Tools/build_job.scala	Sat Dec 17 17:28:05 2022 +0100
@@ -254,7 +254,6 @@
   private val future_result: Future[Process_Result] =
     Future.thread("build", uninterruptible = true) {
       val parent = info.parent.getOrElse("")
-      val base = deps(parent)
       val result_base = deps(session_name)
 
       val env =