bin/isabelle-process
changeset 51952 4517ceb545c1
parent 51948 cb5dbc9a06f9
child 51964 f1c1d8637216
     1.1 --- a/bin/isabelle-process	Sun May 12 20:46:17 2013 +0200
     1.2 +++ b/bin/isabelle-process	Sun May 12 20:58:01 2013 +0200
     1.3 @@ -222,10 +222,8 @@
     1.4    [ -p "${FIFOS[1]}" ] || fail "Bad output fifo: ${FIFOS[1]}"
     1.5    MLTEXT="$MLTEXT; Isabelle_Process.init_fifos \"${FIFOS[0]}\" \"${FIFOS[1]}\";"
     1.6  else
     1.7 -  if [ -z "$ISABELLE_PROCESS_OPTIONS" ]; then
     1.8 -    ISABELLE_PROCESS_OPTIONS="$ISABELLE_TMP/options"
     1.9 -    "$ISABELLE_TOOL" options -x "$ISABELLE_PROCESS_OPTIONS" || fail "Failed to retrieve options"
    1.10 -  fi
    1.11 +  ISABELLE_PROCESS_OPTIONS="$ISABELLE_TMP/options"
    1.12 +  "$ISABELLE_TOOL" options -x "$ISABELLE_PROCESS_OPTIONS" || fail "Failed to retrieve options"
    1.13    if [ "$INPUT" != RAW_ML_SYSTEM ]; then
    1.14      MLTEXT="Options.load_default () handle _ => exit 2; $MLTEXT"
    1.15    fi