diff --git a/src/etc/tidy.py b/src/etc/tidy.py index 3d44c27a16e6f..22053e974d36a 100644 --- a/src/etc/tidy.py +++ b/src/etc/tidy.py @@ -28,7 +28,7 @@ def report_error_name_no(name, no, s): global err - print("%s:%d: %s" % (name, no, s)) + print("\033[4;31m%s:%d: %s\033[0m" % (name, no, s)) err=1 def report_err(s):