diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-11-08 11:38:44 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-11-08 11:38:44 +0100 |
| commit | acf010d30d650aef500952d5de4ea5ec939d78a0 (patch) | |
| tree | 867eafbcaeaf02b480226c7ad1b4f9340d1a8b93 /frontends/verific/verific.cc | |
| parent | b9f2127f5d5a78bab74f511a71b6a369065a0383 (diff) | |
Added "ENABLE_PLUGINS := 0" to verific amd64 build instructions
Diffstat (limited to 'frontends/verific/verific.cc')
0 files changed, 0 insertions, 0 deletions