Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/bash_process/etc/settings
changeset 79749 a861b0df74b4
parent 76101 e59d7d6fe1bd 
--- 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"
isabelle