Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper parent base;
authorwenzelm
Wed, 01 Apr 2020 14:32:30 +0200
changeset 71645 07e6053ce89c
parent 71644 60659474ed36
child 71646 86f064893dac
proper parent base;
src/Pure/Tools/build.scala file | annotate | diff | comparison | revisions 
--- 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(
             {
isabelle