wok diff gnu-efi/receipt @ rev 13952

xournal: up to 4.7
author: ernia <monghitri@aruba.it>
date: Tue Jan 29 21:53:31 2013 +0000 (2013-01-29)
parents: 424987224cf3
children: 7bb096863642
     1.1 --- a/gnu-efi/receipt	Wed May 25 01:51:24 2011 +0200
     1.2 +++ b/gnu-efi/receipt	Tue Jan 29 21:53:31 2013 +0000
     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