]> xenbits.xensource.com Git - people/liuw/xen.git/commitdiff
tools/ocaml: Reformat domain_create_flag
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 10 Sep 2019 11:14:51 +0000 (12:14 +0100)
committerIan Jackson <ian.jackson@eu.citrix.com>
Tue, 10 Sep 2019 13:44:33 +0000 (14:44 +0100)
This will allow us to apply the abi checker soon.

No functional change.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Ian Jackson <ian.jackson@eu.citrix.com>
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
tools/ocaml/libs/xc/xenctrl.ml
tools/ocaml/libs/xc/xenctrl.mli

index 097f39d5ce6a99476d445149f90624b0a01c03cb..17174debb842a87f36a53e1accb535b28098b79d 100644 (file)
@@ -57,7 +57,9 @@ type arch_domainconfig =
        | ARM of xen_arm_arch_domainconfig
        | X86 of xen_x86_arch_domainconfig
 
-type domain_create_flag = CDF_HVM | CDF_HAP
+type domain_create_flag =
+       | CDF_HVM
+       | CDF_HAP
 
 type domctl_create_config =
 {
index 957c9fdc2edebc33b205a2d5f3aaa9f1c4d1b4c2..228bc00a1cfba363794d9210491e7d92b352af74 100644 (file)
@@ -50,7 +50,9 @@ type arch_domainconfig =
   | ARM of xen_arm_arch_domainconfig
   | X86 of xen_x86_arch_domainconfig
 
-type domain_create_flag = CDF_HVM | CDF_HAP
+type domain_create_flag =
+  | CDF_HVM
+  | CDF_HAP
 
 type domctl_create_config = {
   ssidref: int32;