diff options
author | Anthony PERARD <anthony.perard@citrix.com> | 2021-12-06 17:01:59 +0000 |
---|---|---|
committer | Andrew Cooper <andrew.cooper3@citrix.com> | 2021-12-16 20:27:12 +0000 |
commit | ba9e57ef6dc8ea6da1719b4b5c321c2fb794a706 (patch) | |
tree | 0a1208bcea2748da8a7978ac1af3a623350a7e7f /.gitignore | |
parent | 5a8b28bfd4315d9b5c1d57d60a33c81413ee9c8f (diff) | |
download | xen-ba9e57ef6dc8ea6da1719b4b5c321c2fb794a706.tar.gz |
tools/ocaml: Remove generation of _paths.h
_paths.h isn't useful anymore in systemd_stubs.
Signed-off-by: Anthony PERARD <anthony.perard@citrix.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index e13cbf84b2..958c60bb5f 100644 --- a/.gitignore +++ b/.gitignore @@ -408,7 +408,6 @@ 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/_paths.h tools/ocaml/xenstored/oxenstored tools/ocaml/xenstored/oxenstored.conf tools/ocaml/xenstored/paths.ml |