From 0b6cb77b3cffed07356d04aa0db809017f72f2cc Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Sun, 23 Jul 2023 14:52:18 +0200
Subject: [PATCH] make-binaries: Omit unnecessary glibc setting

The CT_GLIBC_KERNEL_VERSION_NONE option is about the minimum kernel
version supported by the toolchain's glibc.  The default is to stick to
the version of the kernel headers, which should be just fine.
---
 tools/make-binaries | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/make-binaries b/tools/make-binaries
index 175152ee3..20622efc3 100755
--- a/tools/make-binaries
+++ b/tools/make-binaries
@@ -273,7 +273,6 @@ create_gnu_config()
 
 	cat >>"$file" <<-'EOF'
 		CT_GLIBC_V_2_19=y
-		CT_GLIBC_KERNEL_VERSION_NONE=y
 	EOF
 }
 #.