diff options
| author | whitequark <whitequark@whitequark.org> | 2019-07-09 08:57:57 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2019-07-09 09:27:43 +0000 |
| commit | f7a14a56780fedfc38a104f46b801b84fa357d01 (patch) | |
| tree | e6cc28a6aec0c54c1c491655344b41f6f2cf1d36 /passes/cmds/bugpoint.cc | |
| parent | 030483ffb909ab38e10d437d09ec922cb0ad2ce8 (diff) | |
| download | yosys-f7a14a56780fedfc38a104f46b801b84fa357d01.tar.gz yosys-f7a14a56780fedfc38a104f46b801b84fa357d01.tar.bz2 yosys-f7a14a56780fedfc38a104f46b801b84fa357d01.zip | |
proc_clean: add -quiet option.
This is useful for other passes that call it often, like bugpoint.
Diffstat (limited to 'passes/cmds/bugpoint.cc')
0 files changed, 0 insertions, 0 deletions