update CI

diff --git a/src/kernel-install/test-kernel-install.sh b/src/kernel-install/test-kernel-install.sh
index 931fae5372fd0e407dc4926134ef8e4eb5248555..db412ec52497e4c461869f6304a99f8e7b061ceb 100755 (executable)
--- a/src/kernel-install/test-kernel-install.sh
+++ b/src/kernel-install/test-kernel-install.sh
@@ -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