From f51abfd862d46fdc589851633ae50ee99ca1bfb8 Mon Sep 17 00:00:00 2001 From: Palmer Dabbelt Date: Fri, 5 Jan 2018 19:20:28 -0800 Subject: [PATCH] Use linux/'s headers for the toolchain build This lets me move Linux and the toolchain somewhat independently. --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 3b5ddde..7f528cb 100644 --- a/Makefile +++ b/Makefile @@ -61,6 +61,7 @@ all: $(hex) $(toolchain_dest)/bin/$(target)-gcc: $(toolchain_srcdir) mkdir -p $(toolchain_wrkdir) + $(MAKE) -C $(linux_srcdir) O=$(dir $<) ARCH=riscv INSTALL_HDR_PATH=$(abspath $(toolchain_srcdir)/linux-headers) headers_install cd $(toolchain_wrkdir); $(toolchain_srcdir)/configure \ --prefix=$(toolchain_dest) \ --with-arch=$(ISA) \