--- a/bin/isabelle-process Tue Jul 19 16:16:53 2005 +0200
+++ b/bin/isabelle-process Tue Jul 19 17:21:45 2005 +0200
@@ -198,9 +198,10 @@
## prepare tmp directory
[ -z "$ISABELLE_TMP_PREFIX" ] && ISABELLE_TMP_PREFIX=/tmp/isabelle
+ISABELLE_PID="$$"
+ISABELLE_TMP="$ISABELLE_TMP_PREFIX${ISABELLE_PID}"
+mkdir -p "$ISABELLE_TMP"
-ISABELLE_TMP="$ISABELLE_TMP_PREFIX$$"
-mkdir -p "$ISABELLE_TMP"
## run it!
@@ -216,8 +217,8 @@
MLTEXT="$MLTEXT; Isar.main();"
fi
-export INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
-export ISABELLE_PID="$$"
+export INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE \
+ ISABELLE_PID ISABELLE_TMP
if [ -f "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM" ]; then
"$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM"