diff options
Diffstat (limited to 'src/files.h')
-rw-r--r-- | src/files.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/files.h b/src/files.h index ebe5037c..94833f71 100644 --- a/src/files.h +++ b/src/files.h @@ -63,7 +63,12 @@ extern char *all_but_ext; void compute_output_file_names (void); void output_file_names_free (void); -void output_file_name_check (char **file_name); + +/** Record that we generate file \a file_name. + * \param source whether this is a source file (*c, *.java...) + * as opposed to a report (*.output, *.dot...). + */ +void output_file_name_check (char **file_name, bool source); FILE *xfopen (const char *name, char const *mode); void xfclose (FILE *ptr); |