diff options
| author | Kito Cheng <kito.cheng@sifive.com> | 2020-04-28 13:06:41 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-28 13:06:41 +0800 |
| commit | e277764429fc4c7326dd8214df433a1f1d5a9d87 (patch) | |
| tree | a1d84d4a7b72034a3d28b30edeeb44190cca2c49 /Makefile.in | |
| parent | d8243f7f81140bc732b91b7e02c45f425b204191 (diff) | |
| parent | 40f242e62bed4c256b7e1542ecbcbfc463d5c2c0 (diff) | |
| download | riscv-gnu-toolchain-e277764429fc4c7326dd8214df433a1f1d5a9d87.zip riscv-gnu-toolchain-e277764429fc4c7326dd8214df433a1f1d5a9d87.tar.gz riscv-gnu-toolchain-e277764429fc4c7326dd8214df433a1f1d5a9d87.tar.bz2 | |
Merge pull request #625 from gattaca-lab/riscv_tbi
Use proper kernel headers
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 7019135..65bce5b 100644 --- a/Makefile.in +++ b/Makefile.in @@ -159,7 +159,11 @@ stamps/check-write-permission: stamps/build-linux-headers: mkdir -p $(SYSROOT)/usr/ +ifdef LINUX_HEADERS_SRCDIR + cp -a $(LINUX_HEADERS_SRCDIR) $(SYSROOT)/usr/ +else cp -a $(srcdir)/linux-headers/include $(SYSROOT)/usr/ +endif mkdir -p $(dir $@) && touch $@ |