diff --git a/customize/customize_main.ml b/customize/customize_main.ml index 17ed11ed2d..fb38336178 100644 --- a/customize/customize_main.ml +++ b/customize/customize_main.ml @@ -233,6 +233,7 @@ read the man page virt-customize(1). ) roots; ); + msg (f_"Finishing off"); g#shutdown (); g#close ();