| 1234567891011 |
- --- valgrind-3.6.0.orig/configure 2010-10-21 03:16:18.000000000 +0200
- +++ valgrind-3.6.0/configure 2011-02-14 17:26:48.000000000 +0100
- @@ -5345,7 +5345,7 @@ $as_echo "ok (${host_os})" >&6; }
- { $as_echo "$as_me:${as_lineno-$LINENO}: checking for the kernel version" >&5
- $as_echo_n "checking for the kernel version... " >&6; }
-
- - kernel=`uname -r`
- + kernel=2.6.37
-
- case "${kernel}" in
- 2.6.*)
|
