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_cygwin.scala
changeset 78158 8b5a2e4b16d4
parent 77794 89e4971df810
child 78299 337ef5cdb70c 
--- a/src/Pure/Admin/component_cygwin.scala	Wed Jun 14 17:20:05 2023 +0200
+++ b/src/Pure/Admin/component_cygwin.scala	Thu Jun 15 14:28:17 2023 +0200
@@ -33,7 +33,7 @@
 
         File.write(cygwin_isabelle + Path.explode("cygwin_mirror"), mirror)
 
-        File.set_executable(cygwin_exe, true)
+        File.set_executable(cygwin_exe)
         Isabelle_System.bash(File.bash_path(cygwin_exe) + " -h </dev/null >/dev/null").check
 
         val res =
isabelle