Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Sun, 22 Jan 2017 12:57:52 +0100
changeset 64931 111d58654822
parent 64930 8d30727cd56f
child 64932 89c0896a19ad
tuned;
src/Pure/Admin/build_jdk.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_jdk.scala	Sun Jan 22 12:46:19 2017 +0100
+++ b/src/Pure/Admin/build_jdk.scala	Sun Jan 22 12:57:52 2017 +0100
@@ -168,9 +168,10 @@
         Isabelle_System.bash(cwd = component_dir.file,
           script = """
             chmod -R a+r . &&
-            chmod -R a+X . &&
-            find x86_64-darwin -name "._*" -exec rm -f {} ";"
-          """).check
+            chmod -R a+X . """).check
+
+        File.find_files((component_dir + Path.explode("x86_64-darwin")).file,
+          file => file.getName.startsWith("._")).foreach(_.delete)
 
         progress.echo("Sharing ...")
         Isabelle_System.bash(cwd = component_dir.file,
isabelle