--- a/src/Pure/Tools/ml_process.scala Sat Oct 01 20:59:09 2016 +0200
+++ b/src/Pure/Tools/ml_process.scala Sat Oct 01 23:05:25 2016 +0200
@@ -98,7 +98,9 @@
(eval_init ::: eval_modes ::: eval_options ::: eval_process).
map(eval => List("--eval", eval)).flatten ::: args
- Bash.process("""exec "$ML_HOME/poly" -q """ + File.bash_args(bash_args),
+ Bash.process(
+ "exec " + options.string("ML_process_policy") + """ "$ML_HOME/poly" -q """ +
+ File.bash_args(bash_args),
cwd = cwd,
env =
Isabelle_System.library_path(env ++ env_options ++ env_tmp,