diff options
Diffstat (limited to 'powerpc/PrintLinux.ml')
-rw-r--r-- | powerpc/PrintLinux.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/powerpc/PrintLinux.ml b/powerpc/PrintLinux.ml index 593b6413..ed4ef19b 100644 --- a/powerpc/PrintLinux.ml +++ b/powerpc/PrintLinux.ml @@ -110,5 +110,11 @@ module Linux_System = let print_prologue oc = () + + let print_epilogue oc = () + + let set_compilation_unit_addrs _ _ = () + + let print_addr_label _ _ = () end:SYSTEM) |