diff options
author | Iain Sandoe <iain@codesourcery.com> | 2012-02-21 13:39:37 +0000 |
---|---|---|
committer | Iain Sandoe <iain@codesourcery.com> | 2012-02-21 13:39:37 +0000 |
commit | 16a87420985f256b5cde070586ebcdfda2225b01 (patch) | |
tree | 8d56cb791213e8329675be59b24b693bfbb4aea6 /gas/write.c | |
parent | 025682772a5d4ce0877e3bcbb63086c1883c7211 (diff) | |
download | gdb-16a87420985f256b5cde070586ebcdfda2225b01.zip gdb-16a87420985f256b5cde070586ebcdfda2225b01.tar.gz gdb-16a87420985f256b5cde070586ebcdfda2225b01.tar.bz2 |
provide a hook to allow checking errors just before we output the file.
gas:
* write.c (write_object_file): Add md_pre_output_hook.
* config/obj-macho.c (obj_mach_o_check_before_writing): New.
(obj_mach_o_pre_output_hook): New.
* config/obj-macho.h (md_pre_output_hook): Define.
(obj_mach_o_pre_output_hook): Declare.
Diffstat (limited to 'gas/write.c')
-rw-r--r-- | gas/write.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gas/write.c b/gas/write.c index f640c61..23d4334 100644 --- a/gas/write.c +++ b/gas/write.c @@ -1767,6 +1767,10 @@ write_object_file (void) fragS *fragP; /* Track along all frags. */ #endif +#ifdef md_pre_output_hook + md_pre_output_hook; +#endif + /* Do we really want to write it? */ { int n_warns, n_errs; |