proper jvm_platform, notably for org.sqlite.lib.path;
authorwenzelm
Thu, 06 May 2021 23:28:30 +0200
changeset 73895 e1432539df35
parent 73894 a6a9162f3ec1
child 73896 f4778e08dcd7
child 73897 a2d3b4a90bca
proper jvm_platform, notably for org.sqlite.lib.path;
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
     }