diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-09-26 15:14:53 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-09-26 15:14:53 +0200 |
| commit | e1556533d3e57950417b2e35a68e95c65fee5042 (patch) | |
| tree | 41d67b065c7828e164af83254fb447849d9e880d /gnu/packages/patches/valgrind-linux-libre-4.x.patch | |
| parent | 5d8d8f3b0a07edb3bd435830b076749f906537d8 (diff) | |
| parent | 92f1cefb74f6092c0c70f93140824ab806086272 (diff) | |
Merge branch 'core-updates'
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, 18 insertions, 0 deletions
diff --git a/gnu/packages/patches/valgrind-linux-libre-4.x.patch b/gnu/packages/patches/valgrind-linux-libre-4.x.patch new file mode 100644 index 0000000000..79166619c7 --- /dev/null +++ b/gnu/packages/patches/valgrind-linux-libre-4.x.patch @@ -0,0 +1,18 @@ +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 + |