From: Jacob Lifshay <programmerjake@gmail.com>
Date: Tue, 1 Aug 2023 04:49:57 +0000 (-0700)
Subject: ignore indented comments too
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=60f9f523f78cae9e357b61e6bc55ca1b323dfa14;p=openpower-isa.git

ignore indented comments too
---

diff --git a/src/openpower/decoder/pseudo/pagereader.py b/src/openpower/decoder/pseudo/pagereader.py
index a3db0ffb..069c44e5 100644
--- a/src/openpower/decoder/pseudo/pagereader.py
+++ b/src/openpower/decoder/pseudo/pagereader.py
@@ -360,7 +360,7 @@ class ISA:
                     li = f.readlines()
                 for i, l in enumerate(li):
                     l = l.rstrip()
-                    if l.startswith("<!--"):
+                    if l.strip().startswith("<!--"):
                         l = ""
                     elif l != "":
                         assert l.startswith("    "), \