From ee145ff218389bdc3b156fc89305db010b74e53a Mon Sep 17 00:00:00 2001 From: Pratham Patel Date: Sun, 8 Oct 2023 21:17:19 +0530 Subject: [PATCH] extra-configs/disable_debug.sh is no longer needed --- extra-configs/disable_debug.sh | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 extra-configs/disable_debug.sh diff --git a/extra-configs/disable_debug.sh b/extra-configs/disable_debug.sh deleted file mode 100644 index 22b00cf..0000000 --- a/extra-configs/disable_debug.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/usr/bin/env bash - -./scripts/config --file .config --disable DEBUG_INFO -# Q: What requires this option to be disabled? -# A: For some reason, when building with Clang, CONFIG_DEBUG_INFO gets enabled. -# It needs to be disabled because: -# 1. These builds are intended for "production systems". -# 2. More importantly, failing to do so results in "Restart config..." while -# building the kernel. -# -# Q: Why wasn't this option disabled by `make defconfig`? -# A: TODO: Still finding out.