diff options
| -rwxr-xr-x | make_boot_img | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make_boot_img b/make_boot_img index bc32e60ba..271159ff9 100755 --- a/make_boot_img +++ b/make_boot_img @@ -214,6 +214,7 @@ F3 boot.msg _ "sync"; _ "df $mnt"; + _ "$sudo umount $mnt"; } # alias to x86 variant, slightly bigger with images though |