diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-09-06 16:24:18 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-09-19 17:49:03 +0200 |
commit | 0711dca9d9392cdda85662f1504ee6bb2c5e5691 (patch) | |
tree | 782b566b1f3d309148007748b3734bc37574fed8 /lib | |
parent | f5d4b64909d91c8de1732d593de419251a61be91 (diff) | |
download | bison-0711dca9d9392cdda85662f1504ee6bb2c5e5691.tar.gz |
add support for --html
* bootstrap.conf: We need the "execute" module.
* src/files.h, src/files.c (spec_html_file, html_flag): New.
* src/getargs.h, src/getargs.c (--html): New.
* src/print-xml.h, src/print-xml.c (print_html): New.
* src/main.c: Use them.
* tests/output.at, tests/report.at: Check --html.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/.gitignore | 2 | ||||
-rw-r--r-- | lib/timevar.def | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/lib/.gitignore b/lib/.gitignore index 337cdb74..37e857dd 100644 --- a/lib/.gitignore +++ b/lib/.gitignore @@ -67,6 +67,8 @@ /errno.in.h /error.c /error.h +/execute.c +/execute.h /exitfail.c /exitfail.h /fatal-signal.c diff --git a/lib/timevar.def b/lib/timevar.def index 6e0d6ff0..39eb8405 100644 --- a/lib/timevar.def +++ b/lib/timevar.def @@ -53,6 +53,7 @@ DEFTIMEVAR (tv_conflicts , "conflicts") /* Time spent outputting results. */ DEFTIMEVAR (tv_report , "outputting report") DEFTIMEVAR (tv_graph , "outputting graph") +DEFTIMEVAR (tv_html , "outputting html") DEFTIMEVAR (tv_xml , "outputting xml") DEFTIMEVAR (tv_actions , "parser action tables") DEFTIMEVAR (tv_parser , "outputting parser") |