diff options
author | Nick Clifton <nickc@redhat.com> | 2001-01-15 22:53:58 +0000 |
---|---|---|
committer | Nick Clifton <nickc@redhat.com> | 2001-01-15 22:53:58 +0000 |
commit | a32fb31982d6ef1f93cbe1b9da82e4766f902b2a (patch) | |
tree | 307c32e989dae5155bd372a48a1892031cfe7f69 /gas/messages.c | |
parent | ac5acf6ad0d9853f2cab55ec8a5604114ec9781b (diff) | |
download | binutils-redhat-a32fb31982d6ef1f93cbe1b9da82e4766f902b2a.tar.gz |
Delete output file upon fatal errors.
Treat multiple defintions of the same symbol as ordinary errors, not fatal ones
Diffstat (limited to 'gas/messages.c')
-rw-r--r-- | gas/messages.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gas/messages.c b/gas/messages.c index 7af8de69f5..1abfb3ac3b 100644 --- a/gas/messages.c +++ b/gas/messages.c @@ -414,6 +414,10 @@ as_fatal (const char *format, ...) vfprintf (stderr, format, args); (void) putc ('\n', stderr); va_end (args); + /* Delete the output file, if it exists. This will prevent make from + thinking that a file was created and hence does not need rebuilding. */ + if (out_file_name != NULL) + unlink (out_file_name); xexit (EXIT_FAILURE); } #else |