From 68b23e45fbf57aa47f8f4094995c639404cbc2bc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Kr=C3=B6ning?= Date: Fri, 9 Aug 2024 16:51:02 +0000 Subject: [PATCH] fix: don't install kernel-specific headers MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Martin Kröning --- Dockerfile | 1 - toolchain.sh | 2 -- 2 files changed, 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index 09d453e..651507e 100644 --- a/Dockerfile +++ b/Dockerfile @@ -17,7 +17,6 @@ WORKDIR /root ADD --link https://github.com/hermit-os/binutils.git binutils ADD --link https://github.com/hermit-os/gcc.git gcc -ADD --link https://github.com/hermit-os/hermit-playground.git hermit ADD --link https://github.com/hermit-os/kernel.git#hermit-c kernel ADD --link https://github.com/hermit-os/newlib.git newlib ADD --link https://github.com/hermit-os/pthread-embedded.git pte diff --git a/toolchain.sh b/toolchain.sh index a8bffe2..06bd187 100755 --- a/toolchain.sh +++ b/toolchain.sh @@ -68,8 +68,6 @@ make install-gcc cd - fi -cp -r hermit/include $PREFIX/x86_64-hermit - cd kernel cargo xtask build \ --artifact-dir . \