From ba9e57ef6dc8ea6da1719b4b5c321c2fb794a706 Mon Sep 17 00:00:00 2001 From: Anthony PERARD Date: Mon, 6 Dec 2021 17:01:59 +0000 Subject: tools/ocaml: Remove generation of _paths.h _paths.h isn't useful anymore in systemd_stubs. Signed-off-by: Anthony PERARD Acked-by: Christian Lindig --- .gitignore | 1 - 1 file changed, 1 deletion(-) (limited to '.gitignore') 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 -- cgit v1.2.1