diff options
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/configure.py b/configure.py index ac6b3d4788..cd74f23a6c 100755 --- a/configure.py +++ b/configure.py @@ -585,6 +585,10 @@ def warn(msg): # track if warnings occurred warn.warned = False +def info(msg): + prefix = '\033[1m\033[32mINFO\033[0m' if os.isatty(1) else 'INFO' + print('%s: %s' % (prefix, msg)) + def print_verbose(x): if not options.verbose: return @@ -1232,7 +1236,7 @@ def glob_to_var(dir_base, dir_sub, patch_dir): patchfile = '%s/%s/%s' % (dir_base, patch_dir, file) if os.path.isfile(patchfile): srcfile = '%s/%s' % (patch_dir, file) - warn('Using floating patch "%s" from "%s"' % (patchfile, dir_base)) + info('Using floating patch "%s" from "%s"' % (patchfile, dir_base)) list.append(srcfile) break return list |