tools-disable-video-logo
authorVagrant Cascadian <vagrant@debian.org>
Wed, 18 Jan 2023 01:57:16 +0000 (01:57 +0000)
committerVagrant Cascadian <vagrant@debian.org>
Wed, 18 Jan 2023 01:57:16 +0000 (01:57 +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