wok rev 10466

gnu-efi: fix install path
author Christophe Lincoln <pankso@slitaz.org>
date Wed May 25 11:35:30 2011 +0200 (2011-05-25)
parents 4a0692a3e0ae
children 9dba33de3017
files gnu-efi/receipt
line diff
     1.1 --- a/gnu-efi/receipt	Wed May 25 11:32:32 2011 +0200
     1.2 +++ b/gnu-efi/receipt	Wed May 25 11:35:30 2011 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4  {
     1.5  	KERNEL_VERSION=$(grep ^VERSION= $WOK/linux/receipt | cut -d '"' -f 2)
     1.6  	cd $src
     1.7 -	sed -i "s|^INSTALLROOT.*|INSTALLROOT=$DESTDIR|" Make.defaults
     1.8 +	sed -i "s|^INSTALLROOT.*|INSTALLROOT=$DESTDIR/usr|" Make.defaults
     1.9  	make -j1 && make -j1 install
    1.10  }
    1.11