diff options
Diffstat (limited to 'package/valgrind/patches/patch-configure')
| -rw-r--r-- | package/valgrind/patches/patch-configure | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/package/valgrind/patches/patch-configure b/package/valgrind/patches/patch-configure new file mode 100644 index 000000000..e4d957a21 --- /dev/null +++ b/package/valgrind/patches/patch-configure @@ -0,0 +1,11 @@ +--- 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.*) |