diff options
Diffstat (limited to 'package/valgrind')
| -rw-r--r-- | package/valgrind/patches/patch-configure.orig | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/package/valgrind/patches/patch-configure.orig b/package/valgrind/patches/patch-configure.orig deleted file mode 100644 index adfc3a89c..000000000 --- a/package/valgrind/patches/patch-configure.orig +++ /dev/null @@ -1,11 +0,0 @@ ---- valgrind-3.6.0.orig/configure 2010-10-21 03:16:18.000000000 +0200 -+++ valgrind-3.6.0/configure 2011-02-14 17:25:41.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 - - case "${kernel}" in - 2.6.*) |