update CI

2023-11-07 16:08:06 +01:00
parent a6906aa579
commit 8353229e10
1 changed files with 1 additions and 1 deletions
@@ -71,7 +71,7 @@ grep -qE 'image' "$BOOT_ROOT/the-token/1.1.1/linux"
 grep -qE 'initrd' "$BOOT_ROOT/the-token/1.1.1/initrd"
 grep -qE 'DTBDTB' "$BOOT_ROOT/the-token/1.1.1/whatever.dtb"

-"$kernel_install" inspect
+test -f /usr/lib/modules/"$(uname -r)"/vmlinuz && "$kernel_install" inspect
 "$kernel_install" inspect "$D/sources/linux"

 "$kernel_install" -v remove 1.1.1