summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAnthony PERARD <anthony.perard@citrix.com>2021-12-06 17:01:59 +0000
committerAndrew Cooper <andrew.cooper3@citrix.com>2021-12-16 20:27:12 +0000
commitba9e57ef6dc8ea6da1719b4b5c321c2fb794a706 (patch)
tree0a1208bcea2748da8a7978ac1af3a623350a7e7f /.gitignore
parent5a8b28bfd4315d9b5c1d57d60a33c81413ee9c8f (diff)
downloadxen-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--.gitignore1
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