summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2021-01-30 09:43:57 +0100
committerAkim Demaille <akim.demaille@gmail.com>2021-01-30 14:32:00 +0100
commitfc0dbb3bba902ee3e6d77379cb5c8227cb8dc3eb (patch)
treebf74448bb891e3ef60a08f2617ac6a712f160f24 /src
parentde93a0728b59fe81e8972aca08812f033fd9069b (diff)
downloadbison-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.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main.c b/src/main.c
index 3afb68ad..22291d23 100644
--- a/src/main.c
+++ b/src/main.c
@@ -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);