From 8a740d50874ddf5e6a0304e577247b98f14e8766 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Sun, 23 Jul 2023 14:49:07 +0200
Subject: [PATCH] make-binaries: Set kernel version for all builds

Specify the same min. supported kernel version for builds against musl
libc and glibc.
---
 tools/make-binaries | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/make-binaries b/tools/make-binaries
index 273ad117f..175152ee3 100755
--- a/tools/make-binaries
+++ b/tools/make-binaries
@@ -258,6 +258,7 @@ create_common_config()
 		CT_CC_LANG_CXX=y
 		CT_ARCH_64=y
 		CT_KERNEL_LINUX=y
+		CT_LINUX_V_3_16=y
 		CT_LOG_PROGRESS_BAR=n
 	EOF
 }
@@ -271,7 +272,6 @@ create_gnu_config()
 	create_common_config "$file"
 
 	cat >>"$file" <<-'EOF'
-		CT_LINUX_V_3_16=y
 		CT_GLIBC_V_2_19=y
 		CT_GLIBC_KERNEL_VERSION_NONE=y
 	EOF