bin/isabelle-process
changeset 16817 63a5782c764e
parent 16101 37471d84d353
child 16874 3057990d20e0
     1.1 --- a/bin/isabelle-process	Wed Jul 13 16:08:21 2005 +0200
     1.2 +++ b/bin/isabelle-process	Wed Jul 13 16:32:15 2005 +0200
     1.3 @@ -202,7 +202,6 @@
     1.4  ISABELLE_TMP="$ISABELLE_TMP_PREFIX$$"
     1.5  mkdir -p "$ISABELLE_TMP"
     1.6  
     1.7 -
     1.8  ## run it!
     1.9  
    1.10  ML_SYSTEM_BASE=$(echo "$ML_SYSTEM" | cut -f1 -d-)
    1.11 @@ -218,6 +217,7 @@
    1.12  fi
    1.13  
    1.14  export INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
    1.15 +export ISABELLE_PID="$$"
    1.16  
    1.17  if [ -f "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM" ]; then
    1.18    "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM"