Admin/exec_process/etc/settings

universal component exec_process -- avoids special Admin/components/windows and might actually improve stability of forked processes (without using perl);

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

EXEC_PROCESS="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/exec_process"