From d717c38552d7e54c57df36992cdb5c5f67e75f03 Mon Sep 17 00:00:00 2001
From: Pratham Patel <thefirst1322@gmail.com>
Date: Sun, 8 Oct 2023 20:29:10 +0530
Subject: [PATCH] disable DEBUG_INFO

---
 extra-configs/disable_debug.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 extra-configs/disable_debug.sh

diff --git a/extra-configs/disable_debug.sh b/extra-configs/disable_debug.sh
new file mode 100644
index 0000000..22b00cf
--- /dev/null
+++ b/extra-configs/disable_debug.sh
@@ -0,0 +1,12 @@
+#!/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.