diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-06-09 10:31:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-09 10:31:09 +0200 |
commit | 0f5feeaae9d581ea47eaf0d8ed0512962d1e85c0 (patch) | |
tree | 28f41bbbbde97e19f6f27445da6e487b2b33f2d2 /icebox/icebox_diff.py | |
parent | 625105c0d136e05b965c9192f6a3cc249f5cd9ae (diff) | |
parent | eec6555603d6f77ebec556ff3bf55ef0194381eb (diff) | |
download | icestorm-0f5feeaae9d581ea47eaf0d8ed0512962d1e85c0.tar.gz icestorm-0f5feeaae9d581ea47eaf0d8ed0512962d1e85c0.tar.bz2 icestorm-0f5feeaae9d581ea47eaf0d8ed0512962d1e85c0.zip |
Merge pull request #221 from mbuesch/icebox-lru-cache
Reduce icebox build time
Diffstat (limited to 'icebox/icebox_diff.py')
-rwxr-xr-x | icebox/icebox_diff.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/icebox/icebox_diff.py b/icebox/icebox_diff.py index c0db200..5252fc4 100755 --- a/icebox/icebox_diff.py +++ b/icebox/icebox_diff.py @@ -16,6 +16,7 @@ # import icebox +from icebox import re_match_cached import sys import re @@ -54,7 +55,7 @@ def explained_bits(db, tile): bits.add("!B%d[%d]" % (k, i)) text = set() for entry in db: - if re.match(r"LC_", entry[1]): + if re_match_cached(r"LC_", entry[1]): continue if entry[1] in ("routing", "buffer"): continue |