diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-04-04 16:15:58 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-04-04 16:16:26 +0200 |
| commit | c3ae3e7a574a279b6d493df6702427f926387383 (patch) | |
| tree | 406d3a615e00adf93fe0028e8f45f0804bc0920c /gnu | |
| parent | 6a0b30f36c3bf2992eaddd23d4e05b7f7b987506 (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.patch | 9 |
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 + |