diff options
| author | Andreas Enge <[email protected]> | 2015-10-02 20:26:45 +0200 |
|---|---|---|
| committer | Andreas Enge <[email protected]> | 2015-10-02 20:26:45 +0200 |
| commit | 2f8fee0623e88d3ba17d7cc41510afb3871cf9b7 (patch) | |
| tree | adb8f5790af96093b69b1a1638ad4a255855b147 /gnu/packages/patches/valgrind-linux-libre-4.x.patch | |
| parent | 127cbd85c0c84e87bf672b753e0fa9f75e6e8d79 (diff) | |
gnu: valgrind: Update to 3.11.0.
* gnu/packages/valgrind.scm (valgrind): Update to 3.11.0.
[source]: Remove the patches
* gnu/packages/patches/valgrind-glibc-2.22.patch,
gnu/packages/patches/valgrind-linux-libre-4.x.patch: Delete files.
* gnu-system.am (dist_patch_DATA): Unregister the patches.
Diffstat (limited to 'gnu/packages/patches/valgrind-linux-libre-4.x.patch')
| -rw-r--r-- | gnu/packages/patches/valgrind-linux-libre-4.x.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/gnu/packages/patches/valgrind-linux-libre-4.x.patch b/gnu/packages/patches/valgrind-linux-libre-4.x.patch deleted file mode 100644 index 79166619c7..0000000000 --- a/gnu/packages/patches/valgrind-linux-libre-4.x.patch +++ /dev/null @@ -1,18 +0,0 @@ -Modify valgrind's configure script to accept linux-libre-4.x as being in the -same family as 3.x. - ---- valgrind-3.10.1/configure 2015-09-15 18:02:20.710262686 -0400 -+++ valgrind-3.10.1/configure 2015-09-15 18:02:59.831829731 -0400 -@@ -5553,9 +5553,9 @@ - kernel=`uname -r` - - case "${kernel}" in -- 2.6.*|3.*) -- { $as_echo "$as_me:${as_lineno-$LINENO}: result: 2.6.x/3.x family (${kernel})" >&5 --$as_echo "2.6.x/3.x family (${kernel})" >&6; } -+ 2.6.*|3.*|4.*) -+ { $as_echo "$as_me:${as_lineno-$LINENO}: result: 2.6.x/3.x/4.x family (${kernel})" >&5 -+$as_echo "2.6.x/3.x/4.x family (${kernel})" >&6; } - - $as_echo "#define KERNEL_2_6 1" >>confdefs.h - |