From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 24 Mar 2021 17:06:29 +0000 (+0000)
Subject: add comment skipping in pagereader.py
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=329674983985c8643bc475d87c8fcf1577079d2a;p=soc.git

add comment skipping in pagereader.py
---

diff --git a/src/soc/decoder/pseudo/pagereader.py b/src/soc/decoder/pseudo/pagereader.py
index a5d05cc5..8e9b0be3 100644
--- a/src/soc/decoder/pseudo/pagereader.py
+++ b/src/soc/decoder/pseudo/pagereader.py
@@ -91,6 +91,14 @@ class ISA:
         rewrite.append(l)
         while lines:
             print(l)
+            # look for HTML comment, if starting, skip line.
+            # 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('<!--'):
+                print ("skipping comment", l)
+                continue
             # expect get heading
             assert l.startswith('#'), ("# not found in line %s" % l)