wok diff sed/receipt @ rev 16288
Up: youtube-dl (2014.04.04.7)
author | Alexander Medvedev <devl547@gmail.com> |
---|---|
date | Sun Apr 06 20:03:39 2014 +0000 (2014-04-06) |
parents | 7abf990db309 |
children | 4c9e6fbf8207 |
line diff
1.1 --- a/sed/receipt Mon Sep 23 12:20:26 2013 +0000 1.2 +++ b/sed/receipt Sun Apr 06 20:03:39 2014 +0000 1.3 @@ -21,7 +21,7 @@ 1.4 --infodir=/usr/share/info \ 1.5 --mandir=/usr/share/man \ 1.6 $CONFIGURE_ARGS && 1.7 - make $MAKEFLAGS 2>&1 | grep -v "ERROR''@|" && 1.8 + make $MAKEFLAGS && 1.9 make DESTDIR=$DESTDIR install 1.10 } 1.11