From 0a7f2c3030cf59c3c140b720b78ab9944873ca35 Mon Sep 17 00:00:00 2001 From: Maximilian Luz Date: Thu, 8 Jun 2023 10:02:08 +0200 Subject: [PATCH] pkg: fedora: Disable debug symbols --- pkg/fedora/kernel-surface/configs/fedora.config | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/pkg/fedora/kernel-surface/configs/fedora.config b/pkg/fedora/kernel-surface/configs/fedora.config index ee8cc1e7e..b86dc69fd 100644 --- a/pkg/fedora/kernel-surface/configs/fedora.config +++ b/pkg/fedora/kernel-surface/configs/fedora.config @@ -2,6 +2,16 @@ ## Config options specific to Fedora ## -# The build fails because this is not enabled in the config set for RHEL, -# but enabled automatically by one of our patches. +## The build fails because this is not enabled in the config set for RHEL, +## but enabled automatically by one of our patches. CONFIG_VIDEO_V4L2_SUBDEV_API=y + + +## Building on GitHub fails when debug symbols are enabled due to the amount of +## disk space required. Disable them. +CONFIG_DEBUG_INFO_NONE=y +# CONFIG_DEBUG_INFO is not set +# CONFIG_DEBUG_INFO_BTF is not set +# CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT is not set +# CONFIG_DEBUG_INFO_DWARF4 is not set +# CONFIG_DEBUG_INFO_DWARF5 is not set