diff options
author | Xiretza <xiretza@xiretza.xyz> | 2021-06-14 12:16:19 +0200 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2021-07-05 16:40:48 +0200 |
commit | ef68c2762c77ea682aa0ae4dec1d51c5ee06d591 (patch) | |
tree | 796df548189ae515d3c76adbf8f2c12ae1772af5 /frontends/verific/verific.h | |
parent | 9c31ecfab8a39513676656699982a3e7860a9ad6 (diff) | |
download | yosys-ef68c2762c77ea682aa0ae4dec1d51c5ee06d591.tar.gz yosys-ef68c2762c77ea682aa0ae4dec1d51c5ee06d591.tar.bz2 yosys-ef68c2762c77ea682aa0ae4dec1d51c5ee06d591.zip |
Makefile: pass PRETTY=0 to ABC
Diffstat (limited to 'frontends/verific/verific.h')
0 files changed, 0 insertions, 0 deletions