diff -r e84b480e90e4 -r a861b0df74b4 Admin/bash_process/etc/settings
--- a/Admin/bash_process/etc/settings	Thu Feb 29 17:03:00 2024 +0100
+++ b/Admin/bash_process/etc/settings	Thu Feb 29 21:06:50 2024 +0100
@@ -1,4 +1,4 @@
 # -*- shell-script -*- :mode=shellscript:
 
 ISABELLE_BASH_PROCESS_HOME="$COMPONENT"
-ISABELLE_BASH_PROCESS="$ISABELLE_BASH_PROCESS_HOME/platform_${ISABELLE_PLATFORM64}/bash_process"
+ISABELLE_BASH_PROCESS="$ISABELLE_BASH_PROCESS_HOME/platform_${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}/bash_process"