Add skeleton for kconfig2sat tool

[linux-conf-perf.git] / kconfig2sat / .gitignore

diff --git a/kconfig2sat/.gitignore b/kconfig2sat/.gitignore
new file mode 100644 (file)
index 0000000..3aa7723
--- /dev/null
+++ b/kconfig2sat/.gitignore
@@ -0,0 +1,7 @@
+/GPATH
+/GRTAGS
+/GTAGS
+/kconfig/zconf.hash.c
+/kconfig/zconf.lex.c
+/kconfig/zconf.tab.c
+/kconfig2sat