diff options
Diffstat (limited to 'tools/warn/html_writer.py')
| -rw-r--r-- | tools/warn/html_writer.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/warn/html_writer.py b/tools/warn/html_writer.py index 09ebf304ae..46ba25318e 100644 --- a/tools/warn/html_writer.py +++ b/tools/warn/html_writer.py @@ -56,6 +56,7 @@ from __future__ import print_function import csv +import datetime import html import sys @@ -258,7 +259,7 @@ def emit_stats_by_project(writer, warn_patterns, project_names): def dump_stats(writer, warn_patterns): - """Dump some stats about total number of warnings and such.""" + """Dump some stats about total number of warnings and date.""" known = 0 skipped = 0 @@ -279,6 +280,8 @@ def dump_stats(writer, warn_patterns): if total < 1000: extra_msg = ' (low count may indicate incremental build)' writer('Total number of warnings: <b>' + str(total) + '</b>' + extra_msg) + date_time_str = datetime.datetime.now().strftime('%Y/%m/%d %H:%M:%S') + writer('<p>(generated on ' + date_time_str + ')') # New base table of warnings, [severity, warn_id, project, warning_message] |