diff options
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 + |