Make the comment prefix 7 character long, so the lines are properly

aligned.

diff --git a/Tools/scripts/trace.py b/Tools/scripts/trace.py
index e458d1d5852ae7ac4a6aa0df3277bbbf9d04dbeb..a4d324a39d14e56ed05ae49376aa7a2f4ee5b5a6 100644 (file)
--- a/Tools/scripts/trace.py
+++ b/Tools/scripts/trace.py
@@ -304,7 +304,7 @@ class CoverageResults:
                     n_lines = n_lines + 1
                 elif blank.match(line):
                     # blank lines and comments are preceded by dots
-                    outfile.write('    . ')
+                    outfile.write('     . ')
                 else:
                     # lines preceded by no marks weren't hit
                     # Highlight them if so indicated, unless the line contains