The build process creates multiple files, which should not be added to the git repository. Add a .gitignore file to let git ignore these files.
Signed-off-by: Lars-Peter Clausen <[email protected]> --- .gitignore | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..4821ae3 --- /dev/null +++ b/.gitignore @@ -0,0 +1,32 @@ +Makefile.config +commons/commands.ml +config.log +config.status +docs/spatch.1 +globals/config.ml +globals/regexp.ml +ocaml/prepare_ocamlcocci.ml +python/pycocci.ml +scripts/spatch.sh +version.ml +*.cma +*.cmo +*.cmi +*.annot +.depend +*.o +*.so +*.a +parsing_c/lexer_c.ml +parsing_c/parser_c.ml +parsing_c/parser_c.mli +parsing_c/parser_c.output +scripts/spatch +scripts/spatch.byte +scripts/spatch.opt +spatch +bundles/menhirLib/META +bundles/pcre/META +bundles/menhirLib/menhir-20120123/src/engineTypes.mli +bundles/menhirLib/menhir-20120123/src/tableFormat.mli +bundles/pcre/pcre-ocaml-release-6.2.5/ -- 1.7.10.4 _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
