diff options
Diffstat (limited to 'ia32/TargetPrinter.ml')
-rw-r--r-- | ia32/TargetPrinter.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml index b06f6f97..215eb4b8 100644 --- a/ia32/TargetPrinter.ml +++ b/ia32/TargetPrinter.ml @@ -102,6 +102,7 @@ module Cygwin_System : SYSTEM = sprintf ".section \"%s\", \"%s\"\n" s (if ex then "xr" else if wr then "d" else "dr") | Section_debug_info + | Section_debug_loc | Section_debug_abbrev -> "" (* Dummy value *) let stack_alignment = 8 (* minimum is 4, 8 is better for perfs *) |