Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/component_zstd.scala
changeset 78298 3b0f8f1010f2
parent 78147 f4221ae7544c
child 81606 5995afcacbc3 
--- a/src/Pure/Admin/component_zstd.scala	Mon Jul 10 22:44:28 2023 +0200
+++ b/src/Pure/Admin/component_zstd.scala	Tue Jul 11 11:37:23 2023 +0200
@@ -15,7 +15,7 @@
       val source = jar_dir + Path.explode(template.replace("{V}", version))
       val target = Isabelle_System.make_directory(component_dir + Path.basic(name))
       Isabelle_System.copy_file(source, target)
-      if (exe) File.set_executable(target + source.base, true)
+      if (exe) File.set_executable(target + source.base)
     }
   }
isabelle