diff options
Diffstat (limited to 'asmcomp/i386')
| -rw-r--r-- | asmcomp/i386/proc.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/asmcomp/i386/proc.ml b/asmcomp/i386/proc.ml index bb510bbf40..4cecb2d44f 100644 --- a/asmcomp/i386/proc.ml +++ b/asmcomp/i386/proc.ml @@ -198,3 +198,6 @@ let assemble_file infile outfile = else Ccomp.command (Config.asm ^ " -o " ^ Filename.quote outfile ^ " " ^ Filename.quote infile) + +let init () = () + |