allow HTML comments to start with whitespace

this is very deliberate as these comments should not appear in the
pseudocode

diff --git a/src/openpower/decoder/pseudo/pagereader.py b/src/openpower/decoder/pseudo/pagereader.py
index d5cae081c0438adebd35d72bb26dbcf6c2def979..c075283b5e71768d9d79fdf53b07d66c16fc2abc 100644 (file)
--- a/src/openpower/decoder/pseudo/pagereader.py
+++ b/src/openpower/decoder/pseudo/pagereader.py
@@ -101,8 +101,8 @@ class ISA:
             # XXX this is braindead!  it doesn't look for the end
             # so please put ending of comments on one line:
             # <!-- line 1 comment -->
-            # <!-- line 2 comment -->
-            if l.startswith('<!--'):
+            # {some whitespace}<!-- line 2 comment -->
+            if l.strip().startswith('<!--'):
                 # print ("skipping comment", l)
                 l = lines.pop(0).rstrip()  # get first line
                 continue