From 2ff03651b7d6ff02c368f328c30bf4375bc736d0 Mon Sep 17 00:00:00 2001 From: Alexander von Gluck IV Date: Wed, 17 Oct 2018 21:21:13 -0500 Subject: [PATCH] efi: Fix missing gnuefi dependency Change-Id: Iff3b64e781ebee192b769193808f3ec12af1d1fa --- src/system/boot/platform/efi/Jamfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/system/boot/platform/efi/Jamfile b/src/system/boot/platform/efi/Jamfile index a602de5f5c..f676f889fd 100644 --- a/src/system/boot/platform/efi/Jamfile +++ b/src/system/boot/platform/efi/Jamfile @@ -61,5 +61,7 @@ for platform in [ MultiBootSubDirSetup efi ] { = [ BuildFeatureAttribute gnuefi : libdir : path ] ; Depends [ FGristFiles $(efi_glue_src) ] : [ BuildFeatureAttribute gnuefi : libdir ] ; + Depends [ FGristFiles $(platform_src) ] + : [ BuildFeatureAttribute gnuefi : headers ] ; } }