diff options
| author | David Shah <davey1576@gmail.com> | 2018-11-26 19:37:03 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-26 19:37:03 +0000 |
| commit | cdfd35e6aaadd2f07ee5c00f51a13a1c74301748 (patch) | |
| tree | 78b4c878958f1a1c6c81d5702d0cef5d8e1a0765 /common/timing.cc | |
| parent | 0adc0d75297fa81034aa3f325cf2758314ca1336 (diff) | |
| parent | 4a44bc569abde28b8c9d7440447295af683b92f4 (diff) | |
| download | nextpnr-cdfd35e6aaadd2f07ee5c00f51a13a1c74301748.tar.gz nextpnr-cdfd35e6aaadd2f07ee5c00f51a13a1c74301748.tar.bz2 nextpnr-cdfd35e6aaadd2f07ee5c00f51a13a1c74301748.zip | |
Merge pull request #150 from YosysHQ/err_warn_count
Print warning and error count at end of execution
Diffstat (limited to 'common/timing.cc')
0 files changed, 0 insertions, 0 deletions