# HG changeset patch
# User wenzelm
# Date 1485099958 -3600
# Node ID a11f3ebb7bd8a323ea9cc9d2dcfeccb0e82370e7
# Parent  9437a117408b7a4d2fdce0e7390859aad21c6fa1
clarified owner;

diff -r 9437a117408b -r a11f3ebb7bd8 src/Pure/Admin/build_jdk.scala
--- a/src/Pure/Admin/build_jdk.scala	Sun Jan 22 16:15:08 2017 +0100
+++ b/src/Pure/Admin/build_jdk.scala	Sun Jan 22 16:45:58 2017 +0100
@@ -204,8 +204,8 @@
         }
 
         progress.echo("Archiving ...")
-        Isabelle_System.gnutar("-C " + File.bash_path(dir) + " -czf " +
-          File.bash_path(target_dir + jdk_path.ext("tar.gz")) + " " + jdk_name).check
+        Isabelle_System.gnutar("--owner=root --group=root -C " + File.bash_path(dir) +
+          " -czf " + File.bash_path(target_dir + jdk_path.ext("tar.gz")) + " " + jdk_name).check
       })
   }
 
diff -r 9437a117408b -r a11f3ebb7bd8 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Sun Jan 22 16:15:08 2017 +0100
+++ b/src/Pure/Admin/build_release.scala	Sun Jan 22 16:45:58 2017 +0100
@@ -173,7 +173,8 @@
 
             execute("chmod -R a+r " + Bash.string(name))
             execute("chmod -R g=o " + Bash.string(name))
-            execute_tar("czf " + File.bash_path(release_info.dist_library_archive) +
+            execute_tar("--owner=root --group=root -czf " +
+              File.bash_path(release_info.dist_library_archive) +
               " " + Bash.string(name + "/browser_info"))
           })
       }