X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=febootstrap-supermin-helper.sh;h=f6a54e6105999c4fafe44d6eedfab4921c4e4ba4;hb=09e796a0f0257c6dde56a64312db891d450e1b9a;hp=0849b1f2f40f81de3abe528505ba142f34faefc0;hpb=f9a9bfcc134816f16a61890897dd7a39a14cb72d;p=febootstrap.git

diff --git a/febootstrap-supermin-helper.sh b/febootstrap-supermin-helper.sh
index 0849b1f..f6a54e6 100755
--- a/febootstrap-supermin-helper.sh
+++ b/febootstrap-supermin-helper.sh
@@ -81,7 +81,10 @@ rm -f "$kernel" "$initrd"
 # without arch second.
 
 arch=$(echo "@host_cpu@" | sed 's/^i.86$/i?86/')
-kernels=$(ls -1dvr /boot/vmlinuz-*.$arch* 2>/dev/null | grep -v xen; ls -1dvr /boot/vmlinuz-* 2>/dev/null | grep -v xen)
+kernels=$(
+    ls -1dvr /boot/vmlinuz-*.$arch* 2>/dev/null | grep -v xen ||: ;
+    ls -1dvr /boot/vmlinuz-* 2>/dev/null | grep -v xen
+)
 
 if [ -z "$kernels" ]; then
     echo "$0: failed to find a suitable kernel in /boot directory" >&2