diff options
Diffstat (limited to 'utils/config.generated.ml.in')
-rw-r--r-- | utils/config.generated.ml.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/utils/config.generated.ml.in b/utils/config.generated.ml.in index ad7ee66e26..c6c9114465 100644 --- a/utils/config.generated.ml.in +++ b/utils/config.generated.ml.in @@ -94,8 +94,7 @@ let system = {@QS@|@system@|@QS@} let asm = {@QS@|@AS@|@QS@} let asm_cfi_supported = @asm_cfi_supported@ let with_frame_pointers = @frame_pointers@ -let profinfo = @profinfo@ -let profinfo_width = @profinfo_width@ +let reserved_header_bits = @reserved_header_bits@ let ext_exe = {@QS@|@exeext@|@QS@} let ext_obj = "." ^ {@QS@|@OBJEXT@|@QS@} |