gnulib: update

[bison.git] / src / files.h

diff --git a/src/files.h b/src/files.h
index ebe5037c7ac277ab3f7e01d2d472f5fc32ad87e5..9b8571905a0086efc69df95a3618d665600105c9 100644 (file)
--- a/src/files.h
+++ b/src/files.h
@@ -63,7 +63,15 @@ 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);
+
+/** Remove all the generated source files. */
+void unlink_generated_sources (void);
 
 FILE *xfopen (const char *name, char const *mode);
 void xfclose (FILE *ptr);