From: Anthony PERARD Date: Mon, 6 Dec 2021 17:01:59 +0000 (+0000) Subject: tools/ocaml: Remove generation of _paths.h X-Git-Tag: archive/raspbian/4.17.0-1+rpi1^2~33^2~1205 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=ba9e57ef6dc8ea6da1719b4b5c321c2fb794a706;p=xen.git 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 --- 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 diff --git a/tools/ocaml/xenstored/Makefile b/tools/ocaml/xenstored/Makefile index 89ec3ec76a..0b5711b507 100644 --- a/tools/ocaml/xenstored/Makefile +++ b/tools/ocaml/xenstored/Makefile @@ -30,8 +30,6 @@ systemd_OBJS = systemd systemd_C_OBJS = systemd_stubs OCAML_LIBRARY += systemd -$(foreach obj,$(systemd_C_OBJS),$(obj).o): _paths.h - LIBS_systemd += $(LDFLAGS-y) OBJS = paths \ @@ -100,8 +98,3 @@ genpath-target = $(call buildmakevars2module,paths.ml) $(eval $(genpath-target)) GENERATED_FILES += paths.ml - -genpath-target = $(call buildmakevars2header,_paths.h) -$(eval $(genpath-target)) - -GENERATE_FILES += _paths.h diff --git a/tools/ocaml/xenstored/systemd_stubs.c b/tools/ocaml/xenstored/systemd_stubs.c index 31a1a5d384..f4c875075a 100644 --- a/tools/ocaml/xenstored/systemd_stubs.c +++ b/tools/ocaml/xenstored/systemd_stubs.c @@ -27,8 +27,6 @@ #include -#include "_paths.h" - CAMLprim value ocaml_sd_notify_ready(value ignore) { CAMLparam1(ignore);