# HG changeset patch
# User wenzelm
# Date 1676974779 -3600
# Node ID f30e050d4ac6ed38f6470797eb0a2ac409793d24
# Parent  089720dddded962a428a08c7bc264f27b39136ac
proper test, following Platform.is_linux;

diff -r 089720dddded -r f30e050d4ac6 src/Pure/System/isabelle_platform.scala
--- a/src/Pure/System/isabelle_platform.scala	Tue Feb 21 11:07:00 2023 +0100
+++ b/src/Pure/System/isabelle_platform.scala	Tue Feb 21 11:19:39 2023 +0100
@@ -48,7 +48,9 @@
     ISABELLE_PLATFORM64.startsWith("arm64-") ||
     ISABELLE_APPLE_PLATFORM64.startsWith("arm64-")
 
-  def is_linux: Boolean = ISABELLE_PLATFORM_FAMILY == "linux"
+  def is_linux: Boolean =
+    ISABELLE_PLATFORM_FAMILY == "linux" ||
+    ISABELLE_PLATFORM_FAMILY == "linux_arm"
   def is_macos: Boolean = ISABELLE_PLATFORM_FAMILY == "macos"
   def is_windows: Boolean = ISABELLE_PLATFORM_FAMILY == "windows"