Skip to content

Commit

Permalink
Remove CR (it's done by this PR)
Browse files Browse the repository at this point in the history
  • Loading branch information
gretay-js committed Dec 1, 2022
1 parent 3ef35dc commit fa566f2
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions driver/flambda_backend_flags.ml
Expand Up @@ -27,8 +27,6 @@ let heap_reduction_threshold = ref default_heap_reduction_threshold (* -heap-red
let alloc_check = ref false (* -alloc-check *)
let dump_checkmach = ref false (* -dcheckmach *)

(* CR-soon gyorsh: re-enable tests testsuite/tests/asmcomp/poll_*
when changing the default for [disable_poll_insertion] to false. *)
let disable_poll_insertion = ref true (* -disable-poll-insertion *)
let allow_long_frames = ref true (* -no-long-frames *)
(* Keep the value of [max_long_frames_threshold] in sync with LONG_FRAME_MARKER
Expand Down

0 comments on commit fa566f2

Please sign in to comment.