From 531ddb915b8208ae93cfb01f9a8a268efa3bea56 Mon Sep 17 00:00:00 2001
From: Marc-Antoine Perennou <Marc-Antoine@Perennou.com>
Date: Tue, 7 Apr 2015 20:54:04 +0200
Subject: [PATCH] efi: use EFI_CC

---
 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index 6713e036adf..79f6ddfca33 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1177,7 +1177,7 @@ AS_IF([test "x$enable_gnuefi" != "xno"], [
                        [AC_MSG_ERROR([*** gnuefi support requested but headers not found])])
         ])
 
-        efiroot=$(echo $(cd /usr/lib/$(gcc -print-multi-os-directory); pwd))
+        efiroot=$(echo $(cd /usr/lib/$(${EFI_CC} -print-multi-os-directory); pwd))
 
         EFI_LIB_DIR="$efiroot"
         AC_ARG_WITH(efi-libdir,
-- 
2.39.5