# HG changeset patch # User Pascal Bellard # Date 1512643944 -3600 # Node ID 7b0b2be5ffb406b5a3be9567eb17b67021eeac81 # Parent 742a881139b75e98396aa58eb2e8165d36d91485 Up gnu-efi (3.0.6) again diff -r 742a881139b7 -r 7b0b2be5ffb4 gnu-efi/receipt --- a/gnu-efi/receipt Sun Dec 03 14:39:40 2017 +0100 +++ b/gnu-efi/receipt Thu Dec 07 11:52:24 2017 +0100 @@ -16,8 +16,7 @@ compile_rules() { KERNEL_VERSION=$(grep ^VERSION= $WOK/linux/receipt | cut -d '"' -f 2) - cd $src - sed -i "s|^INSTALLROOT.*|INSTALLROOT=$DESTDIR/usr|" Make.defaults + sed -i "s|^\(INSTALLROOT\).*|\1 := $DESTDIR|;s|/local||" Make.defaults make -j1 && make -j1 install }