Skip to content

Commit 2e16d62

Browse files
committed
flambda-backend: utils/config.fixed.ml
1 parent 9098d43 commit 2e16d62

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

utils/config.fixed.ml

+5
Original file line numberDiff line numberDiff line change
@@ -45,6 +45,11 @@ let mkdll = native_pack_linker
4545
let mkexe = native_pack_linker
4646
let mkmaindll = native_pack_linker
4747
let flambda = false
48+
let flambda2 = false
49+
let stack_allocation = false
50+
let with_cpp_mangling = false
51+
let probes = false
52+
let poll_insertion = false
4853
let with_flambda_invariants = false
4954
let with_cmm_invariants = false
5055
let windows_unicode = false

0 commit comments

Comments
 (0)