From f27b25c9771574794b85660069c80a594b40e465 Mon Sep 17 00:00:00 2001 From: Stephen Sherratt Date: Tue, 10 Mar 2020 20:03:29 +1100 Subject: [PATCH] Set CROSS_COMPILER_PREFIX in gcc.cmake template --- gcc.cmake | 1 + 1 file changed, 1 insertion(+) diff --git a/gcc.cmake b/gcc.cmake index 4141f1873..03284ca92 100644 --- a/gcc.cmake +++ b/gcc.cmake @@ -19,6 +19,7 @@ set(CMAKE_STAGING_PREFIX "${CMAKE_BINARY_DIR}/staging") set(sel4_arch @KernelSel4Arch@) set(arch @KernelArch@) set(mode @KernelWordSize@) +set(CROSS_COMPILER_PREFIX @CROSS_COMPILER_PREFIX@) # This function hunts for an extant `gcc` with one of the candidate prefixes # specified in `ARGN`, allowing us to try different target triple prefixes for