Fix the Glibc kernel at 2.6.35 rather than whatever the kernel header happen to be

This commit is contained in:
Eelco Dolstra 2012-09-26 12:04:05 -04:00
parent b3d20690a1
commit b5a605c269
2 changed files with 2 additions and 2 deletions

View File

@ -111,7 +111,7 @@ stdenv.mkDerivation ({
then "--enable-profile"
else "--disable-profile")
] ++ stdenv.lib.optionals (cross == null && kernelHeaders != null) [
"--enable-kernel=${kernelHeaders.versionForGlibc}"
"--enable-kernel=2.6.35"
] ++ stdenv.lib.optionals (cross != null) [
(if cross.withTLS then "--with-tls" else "--without-tls")
(if cross.float == "soft" then "--without-fp" else "--with-fp")

View File

@ -105,7 +105,7 @@ stdenv.mkDerivation ({
then "--enable-profile"
else "--disable-profile")
] ++ stdenv.lib.optionals (cross == null && kernelHeaders != null) [
"--enable-kernel=${kernelHeaders.versionForGlibc}"
"--enable-kernel=2.6.35"
] ++ stdenv.lib.optionals (cross != null) [
(if cross.withTLS then "--with-tls" else "--without-tls")
(if cross.float == "soft" then "--without-fp" else "--with-fp")