proper parent base;
authorwenzelm
Wed, 01 Apr 2020 14:32:30 +0200
changeset 71860 07e6053ce89c
parent 71859 60659474ed36
child 71861 86f064893dac
proper parent base;
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(
             {