# HG changeset patch # User Pascal Bellard # Date 1379964170 0 # Node ID 7b9b6a2063d59d3ef42afff6d1317c0f10b7bda4 # Parent f5e828c7da099096c46c9bc5ed84082befd968fe valgrind: remove wrong error trigger diff -r f5e828c7da09 -r 7b9b6a2063d5 valgrind/receipt --- a/valgrind/receipt Mon Sep 23 18:45:04 2013 +0000 +++ b/valgrind/receipt Mon Sep 23 19:22:50 2013 +0000 @@ -23,7 +23,7 @@ --prefix=/usr \ --infodir=/usr/share/info \ --mandir=/usr/share/man \ - $CONFIGURE_ARGS && + $CONFIGURE_ARGS 2>&1 | grep -v MUTEX_ERRORCHECK && make && make DESTDIR=$DESTDIR install }