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.
recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;
authorwenzelm
Fri, 25 Nov 2022 20:45:52 +0100
changeset 76536 80dc20ffd31b
parent 76535 f3ebb16b5785
child 76537 cdbe20024038
recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;
src/Pure/Admin/build_jdk.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_jdk.scala	Fri Nov 25 20:39:25 2022 +0100
+++ b/src/Pure/Admin/build_jdk.scala	Fri Nov 25 20:45:52 2022 +0100
@@ -43,6 +43,9 @@
     zulu_version: String = default_zulu_version,
     progress: Progress = new Progress,
   ): Unit = {
+    if (Platform.is_windows) error("Cannot build on Windows")
+
+
     /* component */
 
     val component = "jdk-" + jdk_version
isabelle