# HG changeset patch
# User wenzelm
# Date 1669405552 -3600
# Node ID 80dc20ffd31b4bcb2057762fd3b334b0b64365c1
# Parent  f3ebb16b57858f71781b2db7faee26d78c684f18
recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;

diff -r f3ebb16b5785 -r 80dc20ffd31b src/Pure/Admin/build_jdk.scala
--- 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