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.