Added "debian" directory to facilitate building Debian packages.

[refind] / install.sh

diff --git a/install.sh b/install.sh
index d1f706ca4397eb9dfe429292f47ca7e07ec7a11e..955572ef4f9c0eb1543a3e0a20d05cdbca8ea3bf 100755 (executable)
--- a/install.sh
+++ b/install.sh
@@ -732,7 +732,7 @@ FindLinuxESP() {
 # Sets InstallDir to the ESP mount point.
 FindMountedESP() {
    mount /boot &> /dev/null
-#   mount /boot/efi &> /dev/null
+   mount /boot/efi &> /dev/null
    EspLine=`df "$RootDir/boot/efi" 2> /dev/null | grep boot/efi`
    if [[ ! -n "$EspLine" ]] ; then
       EspLine=`df "$RootDir"/boot | grep boot`