gptsync: Add missing device_close.

Found by: Coverity scan

diff --git a/grub-core/commands/gptsync.c b/grub-core/commands/gptsync.c
index 16592e9bbe81a7a7bd21fbc246a93750033b4add..444e24874f146d3f6eaff61300be1dccb067deb1 100644 (file)
--- a/grub-core/commands/gptsync.c
+++ b/grub-core/commands/gptsync.c
@@ -235,6 +235,8 @@ grub_cmd_gptsync (grub_command_t cmd __attribute__ ((unused)),
       return grub_errno;
     }
 
+  grub_device_close (dev);
+
   grub_printf_ (N_("New MBR is written to `%s'\n"), args[0]);
 
   return GRUB_ERR_NONE;