diff options
| author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-04-19 17:44:38 +0100 |
|---|---|---|
| committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-04-19 17:44:38 +0100 |
| commit | 91add0c09592502a10e6c9acd7a32ec9f70a2a3c (patch) | |
| tree | 92a0e9c3c03a20592d63709ec818999421818da2 /asmcomp/schedgen.ml | |
| parent | 9286223b5dd834c1aef112f16c6a36b23e56a7ec (diff) | |
| parent | 0bd539ae24b036382f855724aa671ea38032b042 (diff) | |
| download | ocaml-91add0c09592502a10e6c9acd7a32ec9f70a2a3c.tar.gz | |
Merge commit '0bd539ae24b036382f855724aa671ea38032b042' into parallel_minor_gc_4_09
Diffstat (limited to 'asmcomp/schedgen.ml')
| -rw-r--r-- | asmcomp/schedgen.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/schedgen.ml b/asmcomp/schedgen.ml index 4bc6f1d2a3..38c4201e7e 100644 --- a/asmcomp/schedgen.ml +++ b/asmcomp/schedgen.ml @@ -384,7 +384,7 @@ method schedule_fundecl f = self#reschedule ready_queue 0 (schedule i try_nesting) end in - if f.fun_fast then begin + if f.fun_fast && !Clflags.insn_sched then begin let new_body = schedule f.fun_body 0 in clear_code_dag(); { fun_name = f.fun_name; |