wok-next diff gmime/receipt @ rev 16815
Up gsettings-desktop-schemas (3.12.2)
author | Yuri Pourre <yuripourre@gmail.com> |
---|---|
date | Thu Jul 10 23:12:54 2014 -0300 (2014-07-10) |
parents | 76b72f1ad63c |
children | ab7c63b80420 |
line diff
1.1 --- a/gmime/receipt Sat Aug 10 11:00:21 2013 +0000 1.2 +++ b/gmime/receipt Thu Jul 10 23:12:54 2014 -0300 1.3 @@ -22,7 +22,7 @@ 1.4 --disable-mono \ 1.5 --disable-static \ 1.6 --build=$HOST_SYSTEM \ 1.7 - --host=$HOST_SYSTEM && 1.8 + --host=$HOST_SYSTEM 2>&1 | grep -v "can't remove" && 1.9 make && make DESTDIR=$DESTDIR install 1.10 } 1.11