os-probes/mounted/x86/05efi: Handle the case where we used grub-mount to mount the...

diff --git a/debian/changelog b/debian/changelog
index 8333d86..67886d7 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+os-prober (1.60) UNRELEASED; urgency=low
+
+  * os-probes/mounted/x86/05efi: Handle the case where we used grub-mount to
+    mount the EFI System Partition.
+
+ -- Colin Watson <cjwatson@debian.org>  Fri, 17 May 2013 13:02:05 +0100
+
 os-prober (1.59) unstable; urgency=low
 
   [ Colin Watson ]

diff --git a/os-probes/mounted/x86/05efi b/os-probes/mounted/x86/05efi
index 1e506fc..e77ca6d 100755 (executable)
--- a/os-probes/mounted/x86/05efi
+++ b/os-probes/mounted/x86/05efi
@@ -17,6 +17,7 @@ fi
 case "$type" in
        vfat) debug "$1 is a FAT32 partition" ;;
        msdos) debug "$1 is a FAT16 partition" ;;
+       fat) debug "$1 is a FAT partition (mounted by GRUB)" ;;
        *) debug "$1 is $type partition: exiting"; exit 1 ;;
 esac