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/build_cygwin.scala
changeset 69425 94f6ca69d983
parent 69405 22428643351f
child 69789 2c3e5e58d93f 
--- a/src/Pure/Admin/build_cygwin.scala	Sat Dec 08 14:28:14 2018 +0100
+++ b/src/Pure/Admin/build_cygwin.scala	Sat Dec 08 14:58:56 2018 +0100
@@ -54,8 +54,7 @@
         (cygwin + Path.explode("Cygwin.bat")).file.delete
 
         val archive = "cygwin-" + Date.Format("uuuuMMdd")(Date.now()) + ".tar.gz"
-        Isabelle_System.gnutar("-C " + File.bash_path(tmp_dir) +
-          " -czf " + Bash.string(archive) + " cygwin").check
+        Isabelle_System.gnutar("-czf " + Bash.string(archive) + " cygwin", dir = tmp_dir).check
       })
   }
isabelle