diff options
Diffstat (limited to 'ice40/chipdb.py')
-rw-r--r-- | ice40/chipdb.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ice40/chipdb.py b/ice40/chipdb.py index 60e8e699..7bdf82f0 100644 --- a/ice40/chipdb.py +++ b/ice40/chipdb.py @@ -57,6 +57,8 @@ slow_timings = None with open(args.constids) as f: for line in f: + if line.startswith("//"): + continue line = line.replace("(", " ") line = line.replace(")", " ") line = line.split() |