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