diff options
| -rwxr-xr-x | icebox/icebox_vlog.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/icebox/icebox_vlog.py b/icebox/icebox_vlog.py index 22f3f27..4033f01 100755 --- a/icebox/icebox_vlog.py +++ b/icebox/icebox_vlog.py @@ -91,6 +91,8 @@ for o, a in opts: if o == "-P" and not re.search(" # ICE_(GB_)?IO", line): continue line = re.sub(r"#.*", "", line.strip()).split() + if "--warn-no-port" in line: + line.remove("--warn-no-port") if len(line) and line[0] == "set_io": p = line[1] if o == "-P": |