summaryrefslogtreecommitdiff
path: root/asmcomp/arm
diff options
context:
space:
mode:
Diffstat (limited to 'asmcomp/arm')
-rw-r--r--asmcomp/arm/proc.ml3
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 () = ()