bin/isabelle-process
changeset 16874 3057990d20e0
parent 16817 63a5782c764e
child 17792 4a34fd6884b1
     1.1 --- a/bin/isabelle-process	Tue Jul 19 16:16:53 2005 +0200
     1.2 +++ b/bin/isabelle-process	Tue Jul 19 17:21:45 2005 +0200
     1.3 @@ -198,9 +198,10 @@
     1.4  ## prepare tmp directory
     1.5  
     1.6  [ -z "$ISABELLE_TMP_PREFIX" ] && ISABELLE_TMP_PREFIX=/tmp/isabelle
     1.7 +ISABELLE_PID="$$"
     1.8 +ISABELLE_TMP="$ISABELLE_TMP_PREFIX${ISABELLE_PID}"
     1.9 +mkdir -p "$ISABELLE_TMP"
    1.10  
    1.11 -ISABELLE_TMP="$ISABELLE_TMP_PREFIX$$"
    1.12 -mkdir -p "$ISABELLE_TMP"
    1.13  
    1.14  ## run it!
    1.15  
    1.16 @@ -216,8 +217,8 @@
    1.17    MLTEXT="$MLTEXT; Isar.main();"
    1.18  fi
    1.19  
    1.20 -export INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
    1.21 -export ISABELLE_PID="$$"
    1.22 +export INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE \
    1.23 +  ISABELLE_PID ISABELLE_TMP
    1.24  
    1.25  if [ -f "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM" ]; then
    1.26    "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM"