1 # -*- shell-script -*- :mode=shellscript:
2
3 EXEC_PROCESS="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}/exec_process"