diff options
author | whitequark <whitequark@whitequark.org> | 2020-11-24 15:04:42 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-24 15:04:42 +0000 |
commit | bc085761e688f11c2a28ce0f1aada9847decf51b (patch) | |
tree | f837d383bc7ebbcc384e01335ffc2d62c75806c7 /Makefile | |
parent | 5cf738b66adc9e8473532b01f7ba345346039b4a (diff) | |
parent | d6a93b8b903bb74b9eb10a16f8766958a83f8cf9 (diff) | |
download | yosys-bc085761e688f11c2a28ce0f1aada9847decf51b.tar.gz yosys-bc085761e688f11c2a28ce0f1aada9847decf51b.tar.bz2 yosys-bc085761e688f11c2a28ce0f1aada9847decf51b.zip |
Merge pull request #2428 from whitequark/check-processes
check: add support for processes
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions