| Index: tools/dom/scripts/databasebuilder.py
|
| diff --git a/tools/dom/scripts/databasebuilder.py b/tools/dom/scripts/databasebuilder.py
|
| index ceb6eb1cafbf8126c5ce363359c8e27d4a165771..b0977adf29017ef1b6d099c5bcf07e55c706dbee 100755
|
| --- a/tools/dom/scripts/databasebuilder.py
|
| +++ b/tools/dom/scripts/databasebuilder.py
|
| @@ -617,6 +617,9 @@ class DatabaseBuilder(object):
|
|
|
| end_time = time.time()
|
|
|
| + for warning in report_unions_to_any():
|
| + _logger.warning(warning)
|
| +
|
| print 'Total %s files %sprocessed in databasebuilder in %s seconds' % \
|
| (len(file_paths), '', round((end_time - start_time), 2))
|
|
|
|
|