diff options
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 |