# HG changeset patch
# User wenzelm
# Date 1585744350 -7200
# Node ID 07e6053ce89cc594163d0b22377e9f6a25c158ad
# Parent  60659474ed36635af8ffac8fa5ee2b06c66a8893
proper parent base;

diff -r 60659474ed36 -r 07e6053ce89c src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Wed Apr 01 13:55:30 2020 +0200
+++ b/src/Pure/Tools/build.scala	Wed Apr 01 14:32:30 2020 +0200
@@ -212,7 +212,7 @@
     private val future_result: Future[Process_Result] =
       Future.thread("build") {
         val parent = info.parent.getOrElse("")
-        val base = deps(name)
+        val base = deps(parent)
         val args_yxml =
           YXML.string_of_body(
             {