[xen master] Makefile: Add build-tools-oxenstored

[patchbot@xxxxxxx]

commit f437314e869fa4a041e30dc1d570c26fa852ca48
Author:     Edwin Török <edvin.torok@xxxxxxxxxx>
AuthorDate: Fri Jan 8 11:57:37 2021 +0000
Commit:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
CommitDate: Fri Jan 22 14:39:48 2021 +0000

    Makefile: Add build-tools-oxenstored
    
    As a convenience so that oxenstored patches can be compile-tested
    using upstream's build-system before submitting upstream.
    
    Signed-off-by: Edwin Török <edvin.torok@xxxxxxxxxx>
    Acked-by: Wei Liu <wl@xxxxxxx>
---
 Makefile             | 6 ++++++
 tools/ocaml/Makefile | 8 ++++++++
 2 files changed, 14 insertions(+)

diff --git a/Makefile b/Makefile
index 9ad2602f63..96d32cfd50 100644
--- a/Makefile
+++ b/Makefile
@@ -62,6 +62,12 @@ build-xen:
 build-tools: build-tools-public-headers
        $(MAKE) -C tools build
 
+.PHONY: build-tools-oxenstored
+build-tools-oxenstored: build-tools-public-headers
+       $(MAKE) -s -C tools/ocaml clean
+       $(MAKE) -s -C tools/libs
+       $(MAKE) -C tools/ocaml build-tools-oxenstored
+
 .PHONY: build-stubdom
 build-stubdom: mini-os-dir build-tools-public-headers
        $(MAKE) -C stubdom build
diff --git a/tools/ocaml/Makefile b/tools/ocaml/Makefile
index 66f2d6b131..a7c04b6546 100644
--- a/tools/ocaml/Makefile
+++ b/tools/ocaml/Makefile
@@ -26,3 +26,11 @@ clean: subdirs-clean
 
 .PHONY: distclean
 distclean: subdirs-distclean
+
+.PHONY: build-tools-oxenstored
+build-tools-oxenstored:
+       $(MAKE) -s -C libs/eventchn
+       $(MAKE) -s -C libs/mmap
+       $(MAKE) -s -C libs/xb
+       $(MAKE) -s -C libs/xc
+       $(MAKE) -C xenstored
--
generated by git-patchbot for /home/xen/git/xen.git#master