diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2021-01-30 09:43:57 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2021-01-30 14:32:00 +0100 |
commit | fc0dbb3bba902ee3e6d77379cb5c8227cb8dc3eb (patch) | |
tree | bf74448bb891e3ef60a08f2617ac6a712f160f24 /src | |
parent | de93a0728b59fe81e8972aca08812f033fd9069b (diff) | |
download | bison-fc0dbb3bba902ee3e6d77379cb5c8227cb8dc3eb.tar.gz |
traces: display the Bison version
* src/main.c (main): When traces are enabled, display the Bison
version.
* tests/conflicts.at, tests/report.at, tests/sets.at:
Use AT_PACKAGE_VERSION (for package.m4) instead of post-processing the
output.
Diffstat (limited to 'src')
-rw-r--r-- | src/main.c | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -94,6 +94,9 @@ main (int argc, char *argv[]) getargs (argc, argv); + if (trace_flag) + fprintf (stderr, "bison (GNU Bison) %s\n", VERSION); + timevar_enabled = trace_flag & trace_time; timevar_init (); timevar_start (tv_total); |