diff --git a/debian/extra/kernel-install.d/85-initrd.install b/debian/extra/kernel-install.d/85-initrd.install index 4f8b10148d09eca369636f9d1542647e20b34364..68803595cb66c9a9b23a858c316ba67a9fb4e91f 100755 --- a/debian/extra/kernel-install.d/85-initrd.install +++ b/debian/extra/kernel-install.d/85-initrd.install @@ -19,7 +19,7 @@ if [ "$COMMAND" != add ]; then exit 1 fi -if [ "$#" -ge 5 ]; then +if [ "$#" -gt 5 ]; then # An explicit initrd path was passed, 90-loaderentry.install knows how to handle this; # copying here would just duplicate the file, since the basename is very likely different exit 0