diff options
author | Akim Demaille <akim@lrde.epita.fr> | 2013-12-04 10:26:46 +0100 |
---|---|---|
committer | Akim Demaille <akim@lrde.epita.fr> | 2013-12-04 15:53:01 +0100 |
commit | ea99d6e6a02a06bd63e788393fd42cde5cb1fa71 (patch) | |
tree | 67b4c25797cbe764bb150bc3d458a653aef855e5 /bootstrap.conf | |
parent | 184b42c85be3d42c958173c550ea442baf96a8cd (diff) | |
download | bison-ea99d6e6a02a06bd63e788393fd42cde5cb1fa71.tar.gz |
output: record what generated files are source or report files
* src/files.h, src/files.c (output_file_name_check): Take an additional
argument to record whether a file is a source or report file.
* src/files.c (generated_file): New.
(file_names, file_names_count): Replace with...
(generated_files, generated_files_size): these.
* src/scan-skel.l: Adjust.
Diffstat (limited to 'bootstrap.conf')
0 files changed, 0 insertions, 0 deletions