Skip to content

Commit 5f3b231

Browse files
committed
Use Config.poll_insertion to set the default for the compile flag
1 parent fa566f2 commit 5f3b231

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

driver/flambda_backend_flags.ml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,8 @@ let heap_reduction_threshold = ref default_heap_reduction_threshold (* -heap-red
2727
let alloc_check = ref false (* -alloc-check *)
2828
let dump_checkmach = ref false (* -dcheckmach *)
2929

30-
let disable_poll_insertion = ref true (* -disable-poll-insertion *)
30+
let disable_poll_insertion = ref (not Config.poll_insertion)
31+
(* -disable-poll-insertion *)
3132
let allow_long_frames = ref true (* -no-long-frames *)
3233
(* Keep the value of [max_long_frames_threshold] in sync with LONG_FRAME_MARKER
3334
in ocaml/runtime/roots_nat.c *)

0 commit comments

Comments
 (0)