# 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 }