# HG changeset patch
# User wenzelm
# Date 1544306205 -3600
# Node ID 684935cbc8e105e4a255ec36d9e548bcd863a774
# Parent  dc5fbcb07c7b67788f5fcc64f893b138aa4ce7e1
proper path before tar -C context switch;

diff -r dc5fbcb07c7b -r 684935cbc8e1 src/Pure/Admin/components.scala
--- a/src/Pure/Admin/components.scala	Sat Dec 08 22:31:34 2018 +0100
+++ b/src/Pure/Admin/components.scala	Sat Dec 08 22:56:45 2018 +0100
@@ -153,7 +153,7 @@
               }
 
               progress.echo("Packaging " + archive_name + " ...")
-              Isabelle_System.gnutar("-czf " + Bash.string(archive_name) + " " + Bash.string(name),
+              Isabelle_System.gnutar("-czf " + File.bash_path(archive) + " " + Bash.string(name),
                 dir = archive_dir).check
 
               archive