author | wenzelm |
Tue, 31 Mar 2015 22:31:05 +0200 | |
changeset 59886 | e0dc738eb08c |
parent 49447 | bec1add86e79 |
permissions | -rw-r--r-- |
47799 | 1 |
# -*- shell-script -*- :mode=shellscript: |
2 |
||
49447
bec1add86e79
universal component exec_process -- avoids special Admin/components/windows and might actually improve stability of forked processes (without using perl);
wenzelm
parents:
48197
diff
changeset
|
3 |
EXEC_PROCESS="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/exec_process" |