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.
suppress bad file, which does not work on regular Windows;
authorwenzelm
Tue, 11 Jul 2023 19:18:27 +0200
changeset 78310 6872c8d95ebc
parent 78309 fc6246225283
child 78311 b9d9906716f9
suppress bad file, which does not work on regular Windows;
src/Pure/Admin/component_cygwin.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/component_cygwin.scala	Tue Jul 11 18:30:56 2023 +0200
+++ b/src/Pure/Admin/component_cygwin.scala	Tue Jul 11 19:18:27 2023 +0200
@@ -51,6 +51,8 @@
 
         (cygwin + Path.explode("Cygwin.bat")).file.delete
 
+        Isabelle_System.bash("rm -f cygwin/usr/share/man/man1/:.1.gz", cwd = tmp_dir.file).check
+
         val archive =
           target_dir + Path.explode("cygwin-" + Date.Format.alt_date(Date.now()) + ".tar.gz")
         Isabelle_System.gnutar("-czf " + File.bash_path(archive) + " cygwin", dir = tmp_dir).check
isabelle