Fix grub for "nodev" targets.

2015-04-18 19:22:25 +02:00
parent ec10a5a675
commit 66c73da5f9
1 changed files with 2 additions and 2 deletions
@@ -468,8 +468,8 @@ sub getEfiTarget {
        if ($grubTargetEfi eq "") { die }
        else {return "only" }
    } else {
-        # at least one grub target has to be given
+        # prevent an installation if neither grub nor grubEfi is given
-        die
+        return "neither"
    }
 }