diff options
| author | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2016-03-15 23:03:45 +0100 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2016-04-15 11:28:38 +0200 |
| commit | 1915e20c5b43cc7788c22027c6c76e265083cb97 (patch) | |
| tree | 5158e45564dff07fbdee80b6e247a5a38e458577 /utils/config.mlp | |
| parent | 0746566e79de16f125ddd4d413a393ff6d799adf (diff) | |
| download | ocaml-1915e20c5b43cc7788c22027c6c76e265083cb97.tar.gz | |
Fix mantis PR 7168 by creating a safety margin in the bytecode stack.
Diffstat (limited to 'utils/config.mlp')
| -rw-r--r-- | utils/config.mlp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/config.mlp b/utils/config.mlp index e35a9fa5a8..df9c0c8179 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -99,6 +99,7 @@ let lazy_tag = 246 let max_young_wosize = 256 let stack_threshold = 256 (* see byterun/config.h *) +let stack_safety_margin = 60 let architecture = "%%ARCH%%" let model = "%%MODEL%%" |