diff --git a/.gitignore b/.gitignore index d8b57e32f8..d88be80b28 100644 --- a/.gitignore +++ b/.gitignore @@ -92,7 +92,6 @@ stubdom/mini-os-* stubdom/mk-headers-* stubdom/newlib-1.* stubdom/newlib-x86* -stubdom/ocaml-* stubdom/pciutils-* stubdom/pkg-config/* stubdom/polarssl-* @@ -339,33 +338,6 @@ tools/misc/xen-hvmcrash tools/misc/xen-lowmemd tools/vchan/vchan-node[12] tools/vchan/vchan-socket-proxy -tools/ocaml/*/.ocamldep.make -tools/ocaml/*/*.cm[ixao] -tools/ocaml/*/*.cmxa -tools/ocaml/*/*.annot -tools/ocaml/*/*/.ocamldep.make -tools/ocaml/*/*/*.cm[ixao] -tools/ocaml/*/*/*.cmxa -tools/ocaml/*/*/*.annot -tools/ocaml/*/*/META -tools/ocaml/libs/xl/_libxl_types.inc -tools/ocaml/libs/xl/_libxl_types.ml.in -tools/ocaml/libs/xl/_libxl_types.mli.in -tools/ocaml/libs/xl/xenlight.ml -tools/ocaml/libs/xl/xenlight.mli -tools/ocaml/libs/xentoollog/_xtl_levels.* -tools/ocaml/libs/xentoollog/xentoollog.ml -tools/ocaml/libs/xentoollog/xentoollog.mli -tools/ocaml/libs/xs/paths.ml -tools/ocaml/libs/xc/xenctrl_abi_check.h -tools/ocaml/xenstored/oxenstored -tools/ocaml/xenstored/oxenstored.conf -tools/ocaml/xenstored/paths.ml -tools/ocaml/test/xtl -tools/ocaml/test/send_debug_keys -tools/ocaml/test/list_domains -tools/ocaml/test/dmesg -tools/ocaml/test/raise_exception tools/debugger/kdd/kdd tools/firmware/etherboot/ipxe.tar.gz tools/firmware/etherboot/ipxe/ diff --git a/tools/ocaml/.gitignore b/tools/ocaml/.gitignore new file mode 100644 index 0000000000..c97bc8444c --- /dev/null +++ b/tools/ocaml/.gitignore @@ -0,0 +1,6 @@ +**/META +**/.ocamldep.make +**/*.annot +**/*.cm[ixaot] +**/*.cmti +**/*.cmx[as] diff --git a/tools/ocaml/libs/xc/.gitignore b/tools/ocaml/libs/xc/.gitignore new file mode 100644 index 0000000000..1b26ad32b6 --- /dev/null +++ b/tools/ocaml/libs/xc/.gitignore @@ -0,0 +1 @@ +/xenctrl_abi_check.h diff --git a/tools/ocaml/libs/xs/.gitignore b/tools/ocaml/libs/xs/.gitignore new file mode 100644 index 0000000000..4d556ef38c --- /dev/null +++ b/tools/ocaml/libs/xs/.gitignore @@ -0,0 +1 @@ +/paths.ml diff --git a/tools/ocaml/xenstored/.gitignore b/tools/ocaml/xenstored/.gitignore new file mode 100644 index 0000000000..2b432de4fc --- /dev/null +++ b/tools/ocaml/xenstored/.gitignore @@ -0,0 +1,3 @@ +/oxenstored +/oxenstored.conf +/paths.ml