diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-10-14 23:26:04 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-10-14 23:26:04 +0200 |
commit | 07f28068f6f095b88c826a9f8e991f7651400d9e (patch) | |
tree | b0d97db72bf735c2772303a03cf7c3e97cf79664 /.gitignore | |
parent | 6783abd994ffb91f7e1b39d1d656419a2881211f (diff) | |
download | picorv32-07f28068f6f095b88c826a9f8e991f7651400d9e.tar.gz picorv32-07f28068f6f095b88c826a9f8e991f7651400d9e.zip |
Added "make check"
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -20,6 +20,8 @@ /testbench_synth.exe /testbench.gtkw /testbench.vcd +/check.smt2 +/check.vcd /synth.log /synth.v .*.swp |