--- 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
})
}
--- 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"))
})
}