Admin/bash_process/etc/settings

tuned signature: more operations;

# -*- shell-script -*- :mode=shellscript:

ISABELLE_BASH_PROCESS_HOME="$COMPONENT"
ISABELLE_BASH_PROCESS="$ISABELLE_BASH_PROCESS_HOME/platform_${ISABELLE_PLATFORM64}/bash_process"