diff options
Diffstat (limited to 'asmcomp/arm')
-rw-r--r-- | asmcomp/arm/proc.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/asmcomp/arm/proc.ml b/asmcomp/arm/proc.ml index b8ff779b63..dbb13173a9 100644 --- a/asmcomp/arm/proc.ml +++ b/asmcomp/arm/proc.ml @@ -233,3 +233,6 @@ let contains_calls = ref false let assemble_file infile outfile = Ccomp.command (Config.asm ^ " -o " ^ Filename.quote outfile ^ " " ^ Filename.quote infile) + + +let init () = () |