diff options
author | Jon Ludlam <jonathan.ludlam@eu.citrix.com> | 2011-10-10 16:41:16 +0100 |
---|---|---|
committer | Jon Ludlam <jonathan.ludlam@eu.citrix.com> | 2011-10-10 16:41:16 +0100 |
commit | cc3739d41c4b4536e88c07256df3e89d41f5816f (patch) | |
tree | a0ccc66f965363be2d6a3e6c54f57933e83d01be /tools/ocaml/xenstored | |
parent | 34d2ddf937a5ff1e2a3143d457c487d050a0fb36 (diff) | |
download | xen-cc3739d41c4b4536e88c07256df3e89d41f5816f.tar.gz xen-cc3739d41c4b4536e88c07256df3e89d41f5816f.tar.bz2 xen-cc3739d41c4b4536e88c07256df3e89d41f5816f.zip |
tools/ocaml: Remove the uuid library
The library was only minimally used, and was really rather redundant.
Signed-off-by: Zheng Li <zheng.li@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell.com>
Committed-by: Ian Jackson <ian.jackson.citrix.com>
Acked-by: Jon Ludlam <jonathan.ludlam@eu.citrix.com>
Diffstat (limited to 'tools/ocaml/xenstored')
-rw-r--r-- | tools/ocaml/xenstored/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/ocaml/xenstored/Makefile b/tools/ocaml/xenstored/Makefile index e573e57d31..2f6d1f4be5 100644 --- a/tools/ocaml/xenstored/Makefile +++ b/tools/ocaml/xenstored/Makefile @@ -5,7 +5,6 @@ include $(OCAML_TOPLEVEL)/common.make OCAMLINCLUDE += \ -I $(OCAML_TOPLEVEL)/libs/log \ -I $(OCAML_TOPLEVEL)/libs/xb \ - -I $(OCAML_TOPLEVEL)/libs/uuid \ -I $(OCAML_TOPLEVEL)/libs/mmap \ -I $(OCAML_TOPLEVEL)/libs/xc \ -I $(OCAML_TOPLEVEL)/libs/eventchn @@ -34,7 +33,6 @@ OBJS = define \ INTF = symbol.cmi trie.cmi XENSTOREDLIBS = \ unix.cmxa \ - $(OCAML_TOPLEVEL)/libs/uuid/uuid.cmxa \ -ccopt -L -ccopt $(OCAML_TOPLEVEL)/libs/mmap $(OCAML_TOPLEVEL)/libs/mmap/xenmmap.cmxa \ -ccopt -L -ccopt $(OCAML_TOPLEVEL)/libs/log $(OCAML_TOPLEVEL)/libs/log/log.cmxa \ -ccopt -L -ccopt $(OCAML_TOPLEVEL)/libs/eventchn $(OCAML_TOPLEVEL)/libs/eventchn/xeneventchn.cmxa \ |