src/Pure/System/platform.scala
changeset 73858 37243ad3ecb6
parent 73439 b8e12e94cfca
child 73893 f3a356c64193
--- a/src/Pure/System/platform.scala	Thu Apr 22 23:03:58 2021 +0200
+++ b/src/Pure/System/platform.scala	Thu Apr 22 23:40:22 2021 +0200
@@ -14,6 +14,7 @@
   val is_linux: Boolean = System.getProperty("os.name", "") == "Linux"
   val is_macos: Boolean = System.getProperty("os.name", "") == "Mac OS X"
   val is_windows: Boolean = System.getProperty("os.name", "").startsWith("Windows")
+  val is_unix: Boolean = is_linux || is_macos
 
   def family: Family.Value =
     if (is_linux) Family.linux