# HG changeset patch # User Christophe Lincoln # Date 1306316130 -7200 # Node ID a0efa7876176376cf11d2d9c8cf9832f41f3a496 # Parent 4a0692a3e0ae1bfb782355f8b816667c1aca439e gnu-efi: fix install path diff -r 4a0692a3e0ae -r a0efa7876176 gnu-efi/receipt --- a/gnu-efi/receipt Wed May 25 11:32:32 2011 +0200 +++ b/gnu-efi/receipt Wed May 25 11:35:30 2011 +0200 @@ -16,7 +16,7 @@ { KERNEL_VERSION=$(grep ^VERSION= $WOK/linux/receipt | cut -d '"' -f 2) cd $src - sed -i "s|^INSTALLROOT.*|INSTALLROOT=$DESTDIR|" Make.defaults + sed -i "s|^INSTALLROOT.*|INSTALLROOT=$DESTDIR/usr|" Make.defaults make -j1 && make -j1 install }