aboutsummaryrefslogtreecommitdiffstats
path: root/tools/ocaml
diff options
context:
space:
mode:
authorDavid Scott <dave.scott@eu.citrix.com>2011-03-30 18:54:28 +0100
committerDavid Scott <dave.scott@eu.citrix.com>2011-03-30 18:54:28 +0100
commit1b5d4b16cd94fa888e07ef219773dd6d74d738a1 (patch)
tree84b2ec896f39f296768eba95f64795c3b94c311a /tools/ocaml
parentba133eabd8f5131ab2494a35557d8d360d682484 (diff)
downloadxen-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.ml3
-rw-r--r--tools/ocaml/libs/xl/xl.mli3
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