wok diff dahdi-tools/receipt @ rev 18135
poptop: fix plugin version
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Sat Jun 13 17:53:06 2015 +0200 (2015-06-13) |
parents | fc6d2161ae1b |
children | 29d39c79090b |
line diff
1.1 --- a/dahdi-tools/receipt Tue Aug 13 10:47:54 2013 +0000 1.2 +++ b/dahdi-tools/receipt Sat Jun 13 17:53:06 2015 +0200 1.3 @@ -24,7 +24,7 @@ 1.4 --sysconfdir=/etc \ 1.5 --exec-prefix=/usr \ 1.6 --mandir=/usr/share/man \ 1.7 - $CONFIGURE_ARGS 2>&1 | grep -v contest && 1.8 + $CONFIGURE_ARGS 2>&1 | grep -v conftest && 1.9 make -j1 && 1.10 make -j1 -C ppp && 1.11 make -j1 DESTDIR=$DESTDIR install &&