diff options
author | David Scott <dave.scott@eu.citrix.com> | 2011-03-30 18:54:28 +0100 |
---|---|---|
committer | David Scott <dave.scott@eu.citrix.com> | 2011-03-30 18:54:28 +0100 |
commit | 1b5d4b16cd94fa888e07ef219773dd6d74d738a1 (patch) | |
tree | 84b2ec896f39f296768eba95f64795c3b94c311a /tools/ocaml | |
parent | ba133eabd8f5131ab2494a35557d8d360d682484 (diff) | |
download | xen-1b5d4b16cd94fa888e07ef219773dd6d74d738a1.tar.gz xen-1b5d4b16cd94fa888e07ef219773dd6d74d738a1.tar.bz2 xen-1b5d4b16cd94fa888e07ef219773dd6d74d738a1.zip |
tools: ocaml: remove the domain_make and domain_build functions since they don't work
The actual stubs are missing so these are currently a trap for the unwary.
Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Ian Jackson <ian.jackson.citrix.com>
Committed-by: Ian Jackson <ian.jackson.citrix.com>
Diffstat (limited to 'tools/ocaml')
-rw-r--r-- | tools/ocaml/libs/xl/xl.ml | 3 | ||||
-rw-r--r-- | tools/ocaml/libs/xl/xl.mli | 3 |
2 files changed, 0 insertions, 6 deletions
diff --git a/tools/ocaml/libs/xl/xl.ml b/tools/ocaml/libs/xl/xl.ml index 11ee3c5579..52cb046e87 100644 --- a/tools/ocaml/libs/xl/xl.ml +++ b/tools/ocaml/libs/xl/xl.ml @@ -214,9 +214,6 @@ type sched_credit = cap: int; } -external domain_make : create_info -> domid = "stub_xl_domain_make" -external domain_build : build_info -> domid -> build_state = "stub_xl_domain_build" - type button = | Button_Power | Button_Sleep diff --git a/tools/ocaml/libs/xl/xl.mli b/tools/ocaml/libs/xl/xl.mli index 1b53f9263a..c096ee952b 100644 --- a/tools/ocaml/libs/xl/xl.mli +++ b/tools/ocaml/libs/xl/xl.mli @@ -214,9 +214,6 @@ type sched_credit = cap: int; } -external domain_make : create_info -> domid = "stub_xl_domain_make" -external domain_build : build_info -> domid -> build_state = "stub_xl_domain_build" - type button = | Button_Power | Button_Sleep |