File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -46,7 +46,7 @@ let make_var_run_xen () =
4646
4747(* Start the program with the xen backend *)
4848let _ =
49- Coverage. init " xenopsd-xc" ; (* set up coverage profiling *)
49+ Coverage. init " xenopsd-xc" ; (* set up coverage profiling *)
5050 Xenops_interface. queue_name := ! Xenops_interface. queue_name ^ " .classic" ;
5151 Xenops_utils. set_root " xenopsd/classic" ;
5252 Xenopsd. configure
Original file line number Diff line number Diff line change @@ -50,7 +50,7 @@ let make_var_run_xen () =
5050
5151(* Start the program with the xenlight backend *)
5252let _ =
53- Coverage. init " xenopsd-xl" ;
53+ Coverage. init " xenopsd-xl" ;
5454 Xenops_interface. queue_name := ! Xenops_interface. queue_name ^ " .xenlight" ;
5555 Xenops_utils. set_root " xenopsd/xenlight" ;
5656 Xenopsd. configure
You can’t perform that action at this time.
0 commit comments