Add "make coverage"

[yosys.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 77d6e29e54e76815f81509f035b13b88efcea750..4fce690eca9b81a9ce937c2bad0f621a69de85e3 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,20 +1,36 @@
 *.o
 *.d
 .*.swp
+*.gch
+*.gcda
+*.gcno
 /.cproject
 /.project
+/.settings
 /qtcreator.files
 /qtcreator.includes
 /qtcreator.config
 /qtcreator.creator
 /qtcreator.creator.user
+/coverage.info
+/coverage_html
 /Makefile.conf
-/minisat
 /abc
+/viz.js
 /yosys
+/yosys.exe
+/yosys.js
 /yosys-abc
+/yosys-abc.exe
 /yosys-config
+/yosys-smtbmc
 /yosys-filterlib
-/yosys-svgviewer
+/yosys-filterlib.exe
 /kernel/version_*.cc
 /share
+/yosys-win32-mxebin-*
+/yosys-win32-vcxsrc-*
+/yosysjs-*
+/libyosys.so
+/tests/unit/bintest/
+/tests/unit/objtest/