Introduce grub_util_file_sync and use it instead of fsync(fileno(f)).

Fixes build for windows.
This commit is contained in:
Vladimir Serbinenko 2013-11-27 14:13:50 +01:00
parent b1f742c103
commit 4f9541226c
10 changed files with 37 additions and 15 deletions

View file

@ -200,6 +200,15 @@ grub_util_fd_sync (grub_util_fd_t fd)
fsync (fd);
}
void
grub_util_file_sync (FILE *f)
{
fflush (f);
if (!allow_fd_syncs)
return;
fsync (fileno (f));
}
void
grub_util_disable_fd_syncs (void)
{