more robust;
authorwenzelm
Fri, 06 Sep 2019 15:45:05 +0200
changeset 70849 44588e355ca8
parent 70848 4655897b8287
child 70850 373d95cf1b98
more robust;
src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Fri Sep 06 11:32:38 2019 +0200
+++ b/src/Pure/Tools/dump.scala	Fri Sep 06 15:45:05 2019 +0200
@@ -131,7 +131,7 @@
     val deps: Sessions.Deps =
       Sessions.load_structure(dump_options, dirs = dirs, select_dirs = select_dirs).
         selection_deps(dump_options, selection, progress = progress,
-          uniform_session = true, loading_sessions = true)
+          uniform_session = true, loading_sessions = true).check_errors
 
     val resources: Headless.Resources =
       Headless.Resources.make(dump_options, logic, progress = progress, log = log,