# HG changeset patch
# User wenzelm
# Date 1544182297 -3600
# Node ID 86ba90f8874789cc98e2291617cea390985df8e0
# Parent  469724b2cb5d705fa02ec1c69013e562a58f48f4
more robust;

diff -r 469724b2cb5d -r 86ba90f88747 src/Pure/System/components.scala
--- a/src/Pure/System/components.scala	Fri Dec 07 12:25:31 2018 +0100
+++ b/src/Pure/System/components.scala	Fri Dec 07 12:31:37 2018 +0100
@@ -36,7 +36,8 @@
   {
     val name = Archive.get_name(archive.file_name)
     progress.echo("Unpacking " + name)
-    Isabelle_System.gnutar("-C " + File.bash_path(dir) + " -xzf " + File.bash_path(archive)).check
+    Isabelle_System.gnutar(
+      "-C " + File.bash_path(dir) + " -xzf " + File.bash_path(archive.absolute)).check
     name
   }