wok-next diff gnubg/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 5669e8b3be70
line diff
     1.1 --- a/gnubg/receipt	Tue Oct 16 16:46:05 2018 +0300
     1.2 +++ b/gnubg/receipt	Fri Nov 02 14:15:08 2018 +0200
     1.3 @@ -21,7 +21,7 @@
     1.4  		$CONFIGURE_ARGS &&
     1.5  	fix libtool &&
     1.6  	make &&
     1.7 -	make DESTDIR=$DESTDIR install
     1.8 +	make DESTDIR=$install install
     1.9  }
    1.10  
    1.11  genpkg_rules() {