# HG changeset patch
# User wenzelm
# Date 1620336510 -7200
# Node ID e1432539df35e4ca4e5ec76d53b1aa0bf72f9f53
# Parent  a6a9162f3ec148c731e35520d1a75397e5938ccf
proper jvm_platform, notably for org.sqlite.lib.path;

diff -r a6a9162f3ec1 -r e1432539df35 src/Pure/System/platform.scala
--- a/src/Pure/System/platform.scala	Thu May 06 23:20:02 2021 +0200
+++ b/src/Pure/System/platform.scala	Thu May 06 23:28:30 2021 +0200
@@ -64,6 +64,7 @@
 
   def os_name: String =
     family match {
+      case Family.linux_arm => "linux"
       case Family.macos => "darwin"
       case _ => family.toString
     }