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 | d4887adcdb8be0554c721037266edc4ad3f982cf (patch) | |
| tree | beb4c306ac0647fcf409ba5b2c6a4e981fef13d8 /gas/messages.c | |
| parent | 0b8c7076b5eb5e6c88e9ea007bcaf5a2f24d8185 (diff) | |
| download | gdb-d4887adcdb8be0554c721037266edc4ad3f982cf.zip gdb-d4887adcdb8be0554c721037266edc4ad3f982cf.tar.gz gdb-d4887adcdb8be0554c721037266edc4ad3f982cf.tar.bz2 | |
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 7af8de6..1abfb3a 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 |