ignore indented comments too
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 1 Aug 2023 04:49:57 +0000 (21:49 -0700)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 22 Dec 2023 19:26:20 +0000 (19:26 +0000)
src/openpower/decoder/pseudo/pagereader.py

index a3db0ffbe5f32b8f13ee813b7abe4f06b90324b8..069c44e53a792dce3a3ce2b4ac29c9b162fbc2d8 100644 (file)
@@ -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("    "), \