wok diff valgrind/receipt @ rev 16783

Dear Hg! Please, don't ignore any files with "taz" inside name! ;)
author Aleksej Bobylev <al.bobylev@gmail.com>
date Mon Jun 23 13:51:00 2014 +0300 (2014-06-23)
parents 7b9b6a2063d5
children 1b452c5bf7a6
line diff
     1.1 --- a/valgrind/receipt	Mon Sep 23 19:22:50 2013 +0000
     1.2 +++ b/valgrind/receipt	Mon Jun 23 13:51:00 2014 +0300
     1.3 @@ -23,7 +23,7 @@
     1.4  		--prefix=/usr \
     1.5  		--infodir=/usr/share/info \
     1.6  		--mandir=/usr/share/man \
     1.7 -		$CONFIGURE_ARGS 2>&1 | grep -v MUTEX_ERRORCHECK &&
     1.8 +		$CONFIGURE_ARGS &&
     1.9  	make && make DESTDIR=$DESTDIR install
    1.10  }
    1.11