diff options
| -rwxr-xr-x | configure.py | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/configure.py b/configure.py index d93db2b83..24938c681 100755 --- a/configure.py +++ b/configure.py @@ -1160,17 +1160,21 @@ def load_info_files(options): archinfo = dict([(form_name(info), ArchInfo(info)) for info in list_files_in_build_data('arch')]) - logging.debug('Loaded %d CPU info files' % (len(archinfo))) - osinfo = dict([(form_name(info), OsInfo(info)) for info in list_files_in_build_data('os')]) - logging.debug('Loaded %d OS info files' % (len(osinfo))) - ccinfo = dict([(form_name(info), CompilerInfo(info)) for info in list_files_in_build_data('cc')]) - logging.debug('Loaded %d compiler info files' % (len(ccinfo))) + def info_file_load_report(type, num): + if num > 0: + logging.debug('Loaded %d %s info files' % (num, type)) + else: + logging.warning('Failed to load any %s info files' % (type)) + + info_file_load_report('CPU', len(archinfo)); + info_file_load_report('OS', len(osinfo)) + info_file_load_report('compiler', len(ccinfo)) return (modules, archinfo, ccinfo, osinfo) |