release 6.11.7

debian/bin/refine-configs

@@ -1,6 +1,8 @@
 #!/bin/sh
 set -ef
 
+export PYTHONUNBUFFERED=1 PYTHONDONTWRITEBYTECODE=1
+
 prj_dir=$(readlink -f "$(dirname "$0")/../..")
 cd "${prj_dir}"
 
@@ -20,8 +22,6 @@ src_dir=$2
 [ -d "${src_dir}" ]
 src_dir=$(readlink -f "${src_dir}")
 
-export PYTHONUNBUFFERED=1 PYTHONDONTWRITEBYTECODE=1
-
 nproc=$(nproc || printf 2)
 case "${nproc}" in
 [0-1] ) nproc=2 ;;
@@ -48,8 +48,8 @@ for c in ${configs} ; do
 	cp -f "${src_dir}/.config" "$f"
 done
 
-## remove BUILD_SALT
-find debian/build/ -name 'config.*' -type f -exec sed -i -E '/CONFIG_BUILD_SALT/d' {} +
+## remove build-generated options
+find debian/build/ -name 'config.*' -type f -exec sed -i -E '/CONFIG_(BUILD_SALT|(BINDGEN|CC|RUSTC)_VERSION_TEXT|(CLANG|GCC|LD|LLD|PAHOLE)_VERSION)/d' {} +
 
 ## prepare configs for splitting
 find debian/build/ -name 'config.*' -type f -exec sed -i -En '/CONFIG_/p' {} +