wok-current diff valgrind/receipt @ rev 15750
Up: libfm (1.1.4) and pcmanfm (1.1.2) everything works fine (trash, usb/hd mount, etc), may we use it again by default ?
author | Christophe Lincoln <pankso@slitaz.org> |
---|---|
date | Fri Jan 03 11:59:56 2014 +0100 (2014-01-03) |
parents | 7b9b6a2063d5 |
children | 1b452c5bf7a6 |
line diff
1.1 --- a/valgrind/receipt Mon Sep 23 19:22:50 2013 +0000 1.2 +++ b/valgrind/receipt Fri Jan 03 11:59:56 2014 +0100 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