tools-disable-video-logo
authorVagrant Cascadian <vagrant@debian.org>
Tue, 10 Jan 2023 03:18:09 +0000 (03:18 +0000)
committerVagrant Cascadian <vagrant@debian.org>
Tue, 10 Jan 2023 03:18:09 +0000 (03:18 +0000)
Disable video logo as this breaks cross-building, which runs bmp_logo
during the build to generate the logo headers. Debian does not
currently ship the bmp_logo tool, so simply disable this feature.

Gbp-Pq: Name tools-disable-video-logo

configs/tools-only_defconfig

index de99f3857c3ea1b03b85ccccedbe73810e9f4d2d..88442eac26d7d33386733c91cae8603960dc2393 100644 (file)
@@ -28,6 +28,7 @@ CONFIG_SOUND=y
 CONFIG_SYSRESET=y
 CONFIG_TIMER=y
 CONFIG_VIDEO=y
+# CONFIG_VIDEO_LOGO is not set
 # CONFIG_VIRTIO_MMIO is not set
 # CONFIG_VIRTIO_PCI is not set
 # CONFIG_VIRTIO_SANDBOX is not set