wok-next diff gnugo/receipt @ rev 21020
Cleaning is almost finished... I should proceed to upgrades.
author | Aleksej Bobylev <al.bobylev@gmail.com> |
---|---|
date | Fri Nov 02 14:15:08 2018 +0200 (2018-11-02) |
parents | f48456621a9d |
children |
line diff
1.1 --- a/gnugo/receipt Tue Oct 16 16:46:05 2018 +0300 1.2 +++ b/gnugo/receipt Fri Nov 02 14:15:08 2018 +0200 1.3 @@ -21,7 +21,7 @@ 1.4 --mandir=/usr/share/man \ 1.5 $CONFIGURE_ARGS && 1.6 make && 1.7 - make DESTDIR=$DESTDIR install 1.8 + make DESTDIR=$install install 1.9 } 1.10 1.11 genpkg_rules() {