# HG changeset patch
# User wenzelm
# Date 1585738745 -7200
# Node ID 43ba9fece20dcfda90aa7efe8b4edc08241c872f
# Parent  77327455b00d2c4e221dea917191be2ca4fa51c4
proper support for "isabelle build -P Pure";

diff -r 77327455b00d -r 43ba9fece20d src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Wed Apr 01 12:58:44 2020 +0200
+++ b/src/Pure/Tools/build.scala	Wed Apr 01 12:59:05 2020 +0200
@@ -252,8 +252,8 @@
           }
           else Nil
 
-        if (pide && !is_pure) {
-          val resources = new Resources(sessions_structure, deps(name))
+        if (pide) {
+          val resources = new Resources(sessions_structure, deps(parent))
           val session = new Session(options, resources)
           val handler = new Handler(progress, session, name)
           session.init_protocol_handler(handler)