icebox: Preserve extra bits when writing to file

2017-08-25 12:49:24 +02:00 · 2017-08-25 12:49:24 +02:00 · 7e692cba7c
parent 873eb9effa
commit 7e692cba7c
1 changed files with 2 additions and 0 deletions
--- a/icebox/icebox.py
+++ b/icebox/icebox.py
@ -690,6 +690,8 @@ class iceconfig:
                print(".ram_data %d %d" % (x, y), file=f)
                for line in self.ram_data[(x, y)]:
                    print(line, file=f)
+            for extra_bit in sorted(self.extra_bits):
+                print(".extra_bit %d %d %d" % extra_bit, file=f)

 class tileconfig:
    def __init__(self, tile):