diff options
Diffstat (limited to 'src/files.c')
-rw-r--r-- | src/files.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/files.c b/src/files.c index 46868365..c50f774a 100644 --- a/src/files.c +++ b/src/files.c @@ -399,6 +399,16 @@ output_file_name_check (char **file_name, bool source) } void +unlink_generated_sources (void) +{ + int i; + for (i = 0; i < generated_files_size; i++) + if (generated_files[i].is_source) + /* Ignore errors. The file might not even exist. */ + unlink (generated_files[i].name); +} + +void output_file_names_free (void) { free (all_but_ext); |