wok-current diff gnu-efi/receipt @ rev 22502

updated aspell-pt_BR (20080707-0 -> 20131030.12.0)
author: Hans-G?nter Theisgen
date: Wed Jan 01 09:58:39 2020 +0100 (2020-01-01)
parents: 742a881139b7
children: 776ff571c9e9
     1.1 --- a/gnu-efi/receipt	Sun Dec 03 14:39:40 2017 +0100
     1.2 +++ b/gnu-efi/receipt	Wed Jan 01 09:58:39 2020 +0100
     1.3 @@ -16,8 +16,7 @@
     1.4  compile_rules()
     1.5  {
     1.6  	KERNEL_VERSION=$(grep ^VERSION= $WOK/linux/receipt | cut -d '"' -f 2)
     1.7 -	cd $src
     1.8 -	sed -i "s|^INSTALLROOT.*|INSTALLROOT=$DESTDIR/usr|" Make.defaults
     1.9 +	sed -i "s|^\(INSTALLROOT\).*|\1 := $DESTDIR|;s|/local||" Make.defaults
    1.10  	make -j1 && make -j1 install
    1.11  }
    1.12