diff options
| author | whitequark <whitequark@whitequark.org> | 2019-04-22 14:18:15 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2019-04-22 14:18:15 +0000 |
| commit | aeeefc32d8603b138f24824d01b29d28cb0f85cf (patch) | |
| tree | 111ff3104e02f55f2cd2f30db227853f4e93648e /.github | |
| parent | c0f9a74b121dd19e359038b6f6f76be0ffe3cc38 (diff) | |
| download | yosys-aeeefc32d8603b138f24824d01b29d28cb0f85cf.tar.gz yosys-aeeefc32d8603b138f24824d01b29d28cb0f85cf.tar.bz2 yosys-aeeefc32d8603b138f24824d01b29d28cb0f85cf.zip | |
attrmap: extend -remove to allow removing attributes with any value.
Currently, `-remove foo` would only remove an attribute `foo = ""`,
which doesn't work on an attribute like `src` that may have any
value. Extend `-remove` to handle both cases. `-remove foo=""` has
the old behavior, and `-remove foo` will remove the attribute with
whatever value it may have, which is still compatible with the old
behavior.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions