diff options
author | Xiretza <xiretza@xiretza.xyz> | 2021-03-16 16:41:31 +0100 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2021-07-05 16:42:10 +0200 |
commit | 75e5500d4d3a9f37d14e94304bb7b90762ac13e8 (patch) | |
tree | 174072749b857f722cb7054496c48a6dc64f0c6b /frontends | |
parent | a189284a28d33e383538f9bd0ec3d58bd3cf5cee (diff) | |
download | yosys-75e5500d4d3a9f37d14e94304bb7b90762ac13e8.tar.gz yosys-75e5500d4d3a9f37d14e94304bb7b90762ac13e8.tar.bz2 yosys-75e5500d4d3a9f37d14e94304bb7b90762ac13e8.zip |
Makefile: allow running multiple sanitizers at once
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions