src/Pure/System/ml_process.scala

     // bash
     val bash_args =
       Word.explode(Isabelle_System.getenv("ML_OPTIONS")) :::
       (eval_heaps ::: eval_exit ::: eval_secure ::: eval_modes ::: eval_options ::: eval_process).
         map(eval => List("--eval", eval)).flatten ::: args
-    val bash_script =
+
+    Bash.process(env = env, script =
       """
         [ -z "$ISABELLE_TMP_PREFIX" ] && ISABELLE_TMP_PREFIX=/tmp/isabelle
 
         export ISABELLE_PID="$$"
         export ISABELLE_TMP="$ISABELLE_TMP_PREFIX$ISABELLE_PID"

 
         rm -f "$ISABELLE_PROCESS_OPTIONS"
         rmdir "$ISABELLE_TMP"
 
         exit "$RC"
-      """
-
-    Bash.process(bash_script, env = env)
+      """)
   }
 }