summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-04-04 16:15:58 +0200
committerLudovic Courtès <ludo@gnu.org>2014-04-04 16:16:26 +0200
commitc3ae3e7a574a279b6d493df6702427f926387383 (patch)
tree406d3a615e00adf93fe0028e8f45f0804bc0920c /gnu
parent6a0b30f36c3bf2992eaddd23d4e05b7f7b987506 (diff)
gnu: valgrind: Adjust patch for glibc 2.19.
* gnu/packages/patches/valgrind-glibc.patch: s/2.18/2.19/.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/patches/valgrind-glibc.patch9
1 files changed, 5 insertions, 4 deletions
diff --git a/gnu/packages/patches/valgrind-glibc.patch b/gnu/packages/patches/valgrind-glibc.patch
index 0279e37118..47a415bb8f 100644
--- a/gnu/packages/patches/valgrind-glibc.patch
+++ b/gnu/packages/patches/valgrind-glibc.patch
@@ -1,13 +1,14 @@
-Accept glibc 2.18 as valid.
+Accept glibc 2.19 as valid.
+
--- a/configure 2013-10-10 22:27:20.331223000 +0200
+++ b/configure 2013-10-10 22:27:55.055223000 +0200
@@ -6604,6 +6604,16 @@
DEFAULT_SUPP="glibc-2.34567-NPTL-helgrind.supp ${DEFAULT_SUPP}"
DEFAULT_SUPP="glibc-2.X-drd.supp ${DEFAULT_SUPP}"
;;
-+ 2.18)
-+ { $as_echo "$as_me:${as_lineno-$LINENO}: result: 2.18 family" >&5
-+$as_echo "2.18 family" >&6; }
++ 2.19)
++ { $as_echo "$as_me:${as_lineno-$LINENO}: result: 2.19 family" >&5
++$as_echo "2.19 family" >&6; }
+
+$as_echo "#define GLIBC_2_18 1" >>confdefs.h
+